Some tidy-ups

2003-08-18 03:47:49 +00:00
parent 6466b6bb56
commit a7d52d7449
3 changed files with 11 additions and 3 deletions
@@ -15,7 +15,7 @@
    $stradministration = get_string("administration");
    $strusers          = get_string("users");

-    print_header("$site->shortname: $stradministration", "$site->fullname", 
+    print_header("$site->shortname: $stradministration: $strusers", "$site->fullname", 
                 "<a href=\"index.php\">$stradministration</a> -> $strusers");

    print_heading($strusers);