Fix issue with missing keys in $wgFileExtensions caused by an array_diff() somewhere...
authorRoan Kattouw <catrope@users.mediawiki.org>
Wed, 12 Jan 2011 20:58:36 +0000 (20:58 +0000)
committerRoan Kattouw <catrope@users.mediawiki.org>
Wed, 12 Jan 2011 20:58:36 +0000 (20:58 +0000)
commit3a241d498aeb8397fae1429672d07373e7857427
tree675c61e3fdf6bde65b7b581bd2b9707974f35f83
parent85a453204ce78018fe266dee762ac0b19a89ce27
Fix issue with missing keys in $wgFileExtensions caused by an array_diff() somewhere. Doesn't seem needed on any of the other vars at first glance
includes/resourceloader/ResourceLoaderStartUpModule.php