mirror of
https://github.com/moodle/moodle.git
synced 2025-01-19 14:27:22 +01:00
28c66824e7
1. When user was using "Server's local time", and the server was set up to use DST, generated timestamps must have been wrong in DST periods (I haven't backtracked to test this, but the code reads this way). 2. On Eloy's Mac (let's not generalize without data), passing is_dst = 0 to gmmktime caused it to return WRONG results! The PHP docs clearly state that in_dst does NOT affect the return value, which is true for me but in Eloy's case it was a lie. Obviously PHP bug here. Also, moved the if($applydst) check into the else branch because it would do nothing at all if (abs($timezone) > 13) in any case. I hope Eloy keeps finding more bugs because he promised me a beer for this fix ;-)