diff --git a/lib/adminlib.php b/lib/adminlib.php
index e2525c4cc7c..8cf32bc5d18 100644
--- a/lib/adminlib.php
+++ b/lib/adminlib.php
@@ -5722,7 +5722,8 @@ function print_plugin_tables() {
         'scorm',
         'survey',
         'url',
-        'wiki');
+        'wiki',
+        'workshop');
 
     $plugins_standard['blocks'] = array('activity_modules',
         'admin',