diff --git a/lib/adminlib.php b/lib/adminlib.php
index eb09c3e086d..1b2ec09d599 100644
--- a/lib/adminlib.php
+++ b/lib/adminlib.php
@@ -4589,10 +4589,12 @@ function print_plugin_tables() {
$strstandard = get_string('standard');
$strnonstandard = get_string('nonstandard');
+ $strmissingfromdisk = '(' . get_string('missingfromdisk') . ')';
+ $strabouttobeinstalled = '(' . get_string('abouttobeinstalled') . ')';
$html = '';
- foreach ($plugins_ondisk as $cat => $list) {
+ foreach ($plugins_ondisk as $cat => $list_ondisk) {
$strcaption = get_string($cat);
if ($cat == 'mod') {
$strcaption = get_string('activitymodule');
@@ -4608,11 +4610,14 @@ function print_plugin_tables() {
$row = 1;
- foreach ($list as $k => $plugin) {
+ foreach ($list_ondisk as $k => $plugin) {
+ $status = 'ok';
$standard = 'standard';
+ $note = '';
if (!in_array($plugin, $plugins_standard[$cat])) {
$standard = 'nonstandard';
+ $status = 'warning';
}
// Get real name and full path of plugin
@@ -4624,34 +4629,39 @@ function print_plugin_tables() {
$plugin_name = get_plugin_name($plugin, $cat);
// Determine if the plugin is about to be installed
- $strabouttobeinstalled = '';
if ($cat != 'filter' && !in_array($plugin, $plugins_installed[$cat])) {
- $strabouttobeinstalled = ' (' . get_string('abouttobeinstalled') . ')';
+ $note = $strabouttobeinstalled;
$plugin_name = $plugin;
}
$html .= "
\n"
. "| $plugin_path | \n"
. "$plugin_name | \n"
- . "" . ${'str' . $standard} . $strabouttobeinstalled . " | \n
\n";
+ . "" . ${'str' . $standard} . " $note | \n\n";
$row++;
// If the plugin was both on disk and in the db, unset the value from the installed plugins list
- if ($key = array_search($plugin, $plugins_standard[$cat])) {
- unset($plugins_standard[$cat][$key]);
+ if ($key = array_search($plugin, $plugins_installed[$cat])) {
+ unset($plugins_installed[$cat][$key]);
}
}
// If there are plugins left in the plugins_installed list, it means they are missing from disk
- $strmissingfromdisk = get_string('missingfromdisk');
- foreach ($plugins_standard[$cat] as $k => $missing_plugin) {
+ foreach ($plugins_installed[$cat] as $k => $missing_plugin) {
// Make sure the plugin really is missing from disk
if (!in_array($missing_plugin, $plugins_ondisk[$cat])) {
- $plugin_name = get_plugin_name($missing_plugin, $cat);
+ $standard = 'standard';
+ $status = 'warning';
+
+ if (!in_array($plugin, $plugins_standard[$cat])) {
+ $standard = 'nonstandard';
+ }
+
+ $plugin_name = $missing_plugin;
$html .= "\n"
. "| ? | \n"
. "$plugin_name | \n"
- . "$strstandard ($strmissingfromdisk) | \n
\n";
+ . "" . ${'str' . $standard} . " $strmissingfromdisk | \n\n";
$row++;
}
}
diff --git a/theme/standard/styles_color.css b/theme/standard/styles_color.css
index e1586b59b32..7b5e1e790c5 100644
--- a/theme/standard/styles_color.css
+++ b/theme/standard/styles_color.css
@@ -318,18 +318,17 @@ table.flexible .r1 {
background-color: green;
}
-.plugincompattable td.standard {
+
+.plugincompattable td.ok {
color: #008000;
}
-.plugincompattable td.nonstandard {
- color: #FF7500;
- font-weight: bold;
+.plugincompattable td.warning {
+ color: #DF7800;
}
-.plugincompattable td.missingplugin {
- color: #FF7500;
- font-weight: bold;
+.plugincompattable td.error {
+ color: #DF0000;
}
/* Admin settings */
diff --git a/theme/standard/styles_fonts.css b/theme/standard/styles_fonts.css
index 22920c38e64..7bc6551f526 100644
--- a/theme/standard/styles_fonts.css
+++ b/theme/standard/styles_fonts.css
@@ -276,6 +276,21 @@ body#admin-index .copyright {
font-size: 0.8em;
}
+.plugincompattable td.standard {
+ font-weight: normal;
+}
+
+.plugincompattable td.nonstandard {
+ font-weight: bold;
+}
+
+.plugincompattable td.missingplugin {
+ font-weight: bold;
+}
+
+.plugincompattable td.warning {
+ font-style: normal;
+}
/***
*** Blocks
***/