mirror of
https://github.com/moodle/moodle.git
synced 2025-01-17 21:49:15 +01:00
7a302afc5f
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.