diff --git a/lib/adminlib.php b/lib/adminlib.php index 0eb9f4a73a0..c7913d96d56 100644 --- a/lib/adminlib.php +++ b/lib/adminlib.php @@ -4606,8 +4606,7 @@ function print_plugin_tables() { // Get real name and full path of plugin $plugin_name = "[[$plugin]]"; - global $CFG; - $plugin_path = $CFG->dirroot . "/$cat/$plugin"; + $plugin_path = "$cat/$plugin"; $plugin_name = get_plugin_name($plugin, $cat);