Remove deprecated $wgCompiledFiles configuration setting
authorwithoutaname <drevitchi@gmail.com>
Wed, 30 Jul 2014 20:46:53 +0000 (13:46 -0700)
committerwithoutaname <drevitchi@gmail.com>
Wed, 30 Jul 2014 20:46:53 +0000 (13:46 -0700)
commit57cccdb71f48aa9a7a349fcfff5ff873c99141b3
tree7a7cbc27b46b8ad092898322dea8627b33579fbd
parentffb32e0b58091c5d687301e34d287dfb0061213b
Remove deprecated $wgCompiledFiles configuration setting

Change-Id: I6a220291e6ebd9354e12898a77b7dc52fd59e63f
RELEASE-NOTES-1.24
includes/DefaultSettings.php