From: moodler Date: Mon, 3 Nov 2003 03:22:52 +0000 (+0000) Subject: Show version number to aid in debugging X-Git-Url: http://git.mjollnir.org/gw?a=commitdiff_plain;h=1e169427398de4bc71d6f31ade1b8c978114ecbb;p=moodle.git Show version number to aid in debugging --- diff --git a/admin/modules.php b/admin/modules.php index 9e9d75095b..9c5421e374 100644 --- a/admin/modules.php +++ b/admin/modules.php @@ -24,6 +24,7 @@ $strconfiguration = get_string("configuration"); $strmanagemodules = get_string("managemodules"); $strdelete = get_string("delete"); + $strversion = get_string("version"); $strhide = get_string("hide"); $strshow = get_string("show"); $strsettings = get_string("settings"); @@ -148,10 +149,10 @@ $modpixpath = "../theme/$CFG->theme/pix/mod"; } - $table->head = array ($stractivitymodule, "$strhide/$strshow", $strdelete, $strsettings); - $table->align = array ("LEFT", "CENTER", "CENTER", "CENTER"); - $table->wrap = array ("NOWRAP", "", "",""); - $table->size = array ("100%", "10", "10","12"); + $table->head = array ($stractivitymodule, $strversion, "$strhide/$strshow", $strdelete, $strsettings); + $table->align = array ("LEFT", "LEFT", "CENTER", "CENTER", "CENTER"); + $table->wrap = array ("NOWRAP", "", "", "",""); + $table->size = array ("100%", "10", "10", "10","12"); $table->width = "100"; foreach ($modulebyname as $modulename => $module) { @@ -180,7 +181,7 @@ $visible = ""; $class = ""; } - $table->data[] = array ("

$icon $modulename

", $visible, $delete, $settings); + $table->data[] = array ("

$icon $modulename

", $module->version, $visible, $delete, $settings); } print_table($table); diff --git a/lang/en/moodle.php b/lang/en/moodle.php index 4f6acfc4bc..f1cdb560f5 100644 --- a/lang/en/moodle.php +++ b/lang/en/moodle.php @@ -788,6 +788,7 @@ $string['userprofilefor'] = "User profile for \$a"; $string['users'] = "Users"; $string['usingexistingcourse'] = "Using existing course"; $string['userzones'] = "User zones"; +$string['version'] = "Version"; $string['view'] = "View"; $string['webpage'] = "Web page"; $string['week'] = "Week";