Merge "Remove deprecated $wgCompiledFiles configuration setting"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 31 Jul 2014 21:43:56 +0000 (21:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 31 Jul 2014 21:43:56 +0000 (21:43 +0000)
commit839663f3c522a559db4589a4cc7a12aaafbe098e
treec664800140e90f870b8e9ef71ad4c63c3a7de7d7
parent94b49f04d5601e181a0a6c486bf603dbe79287eb
parent57cccdb71f48aa9a7a349fcfff5ff873c99141b3
Merge "Remove deprecated $wgCompiledFiles configuration setting"
RELEASE-NOTES-1.24
includes/DefaultSettings.php