diff --git a/lib/pluginlib.php b/lib/pluginlib.php index fdc95f6b1f1..087b6cb4b6b 100644 --- a/lib/pluginlib.php +++ b/lib/pluginlib.php @@ -532,7 +532,7 @@ class plugin_manager { 'report' => array( 'backups', 'completion', 'configlog', 'courseoverview', - 'log', 'loglive', 'outline', 'participation', 'progress', 'questioninstances', 'security', 'stats' + 'log', 'loglive', 'outline', 'participation', 'progress', 'questioninstances', 'security', 'stats', 'performance' ), 'repository' => array(