mirror of
https://github.com/moodle/moodle.git
synced 2025-03-09 10:19:56 +01:00
Changed the handling of time display format; now it's read from the language file by default, and a new preference has been added to allow each user to manually specify his preferred time format.