diff --git a/admin/modules.php b/admin/modules.php index fb112e7afc3..01f67a11666 100644 --- a/admin/modules.php +++ b/admin/modules.php @@ -87,9 +87,13 @@ $table->set_attribute('class', 'admintable generaltable'); $table->setup(); - foreach ($modules as $module) { + $pluginmanager = core_plugin_manager::instance(); - if (!file_exists("$CFG->dirroot/mod/$module->name/lib.php")) { + foreach ($modules as $module) { + $plugininfo = $pluginmanager->get_plugin_info('mod_'.$module->name); + $status = $plugininfo->get_status(); + + if ($status === core_plugin_manager::PLUGIN_STATUS_MISSING) { $strmodulename = ''.$module->name.' ('.get_string('missingfromdisk').')'; $missing = true; } else {