workshop added to the whitelist of standard modules

diff --git a/lib/adminlib.php b/lib/adminlib.php
index e2525c4cc7cbc05d49134c469315d3df910062b7..8cf32bc5d189a5bb541f200bf6b15bc433347903 100644 (file)
--- 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',