]> git.mjollnir.org Git - moodle.git/commitdiff
Show version number to aid in debugging
authormoodler <moodler>
Mon, 3 Nov 2003 03:22:52 +0000 (03:22 +0000)
committermoodler <moodler>
Mon, 3 Nov 2003 03:22:52 +0000 (03:22 +0000)
admin/modules.php
lang/en/moodle.php

index 9e9d75095b1838698c2334da0106ff26e5588811..9c5421e3749bb831c619625659ae864c8fc18ad8 100644 (file)
@@ -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");
         $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) {
             $visible = "";
             $class = "";
         }
-        $table->data[] = array ("<p $class>$icon $modulename</p>", $visible, $delete, $settings);
+        $table->data[] = array ("<p $class>$icon $modulename</p>", $module->version, $visible, $delete, $settings);
     }
     print_table($table);
 
index 4f6acfc4bc76ad4c6a92b52df2ad1327ec99d404..f1cdb560f5b16d731bbc4e5886707935e3a9a209 100644 (file)
@@ -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";