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)
includes/resourceloader/ResourceLoaderStartUpModule.php

index f9190c2..3f1f235 100644 (file)
@@ -75,7 +75,7 @@ class ResourceLoaderStartUpModule extends ResourceLoaderModule {
                        'wgFormattedNamespaces' => $wgContLang->getFormattedNamespaces(),
                        'wgNamespaceIds' => $wgContLang->getNamespaceIds(),
                        'wgSiteName' => $wgSitename,
-                       'wgFileExtensions' => $wgFileExtensions,
+                       'wgFileExtensions' => array_values( $wgFileExtensions ),
                        'wgDBname' => $wgDBname,
                );
                if ( $wgContLang->hasVariants() ) {