Slight changes to userdate() function. It now uses gmstrftime() instead of

gmdate to format times, thus allowing it to take advantage of locale, if set,
to print dates in the appropriate language.  Several userdate invocations
had to be changed, though, to use the different formatting specs.

lib/setup.php

@@ -34,6 +34,10 @@
     $CFG->header      = "$CFG->dirroot/theme/$CFG->theme/header.html";
     $CFG->footer      = "$CFG->dirroot/theme/$CFG->theme/footer.html";
 
+// Set language/locale of printed times (must be supported by OS)
+
+    setlocale ("LC_TIME", $CFG->lang);
+
 // Load up theme variables (colours etc)
 
     require("$CFG->dirroot/theme/$CFG->theme/config.php");