mirror of
https://github.com/moodle/moodle.git
synced 2025-02-17 22:35:24 +01:00
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.