Display months in local language for date_selector

diff --git a/lib/weblib.php b/lib/weblib.php
index 1766af06a3d7c5fd7388d6aa98fc642527b1739d..69f1dfaac320cb0a306b3cbb8ee1fbcb617931d7 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -1000,7 +1000,7 @@ function print_date_selector($day, $month, $year, $currenttime=0) {
         $days[$i] = "$i";
     }
     for ($i=1; $i<=12; $i++) {
-        $months[$i] = date("F", mktime(0,0,0,$i,1,2000));
+        $months[$i] = userdate(mktime(0,0,0,$i,1,2000), "%B");
     }
     for ($i=2000; $i<=2010; $i++) {
         $years[$i] = $i;