OK I will try my best to keep up with your changes
for i in RELEASE-NOTES-* includes/installer/LocalSettingsGenerator.php do echo $i diff: svn diff -r ${BASE-BASE}:HEAD $i|wdiff -d -3|tee /tmp/mediawikiDiff$$ done
And also watchlist http://www.mediawiki.org/wiki/Manual:LocalSettings.php
Alas that is still not enough to reveal to what the current vanilla LocalSettings.php that gets produced deals with the issue. Perhaps someone would be kind enough to post one.
Why don't you just set `date.timezone` in your php config and make all the hacks go away?
I want to keep all this stuff in one file, LocalSettings.php, on my many systems.