Merge "Removed 'Disable browser page caching" user preference"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 10 Dec 2013 03:06:39 +0000 (03:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 10 Dec 2013 03:06:39 +0000 (03:06 +0000)
commit6a06b39dc99b47d59485771f2720a37ae8728259
tree85cde46866bb0df0db1aeefa1b4aaeab49e37fd5
parente1c2245c6733188e9f7b5f0d4561e8cd3df1d55b
parent3f0b8c88c3be1019cf49e0a984e35f73bcb95820
Merge "Removed 'Disable browser page caching" user preference"
RELEASE-NOTES-1.23
includes/DefaultSettings.php
languages/messages/MessagesEn.php
maintenance/language/messages.inc