mirror of
https://github.com/moodle/moodle.git
synced 2025-02-09 01:21:57 +01:00
756e182362
With well-written client code this should not be needed, but after getting burned once I think it's a good idea to make it "smart".