diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2015-10-18 09:31:31 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2015-10-18 09:31:31 +0200 |
| commit | 80f7dc77d430774192b929d780f96260066df2ee (patch) | |
| tree | 102eaae7fc9ec567f2af76e96da3de2d1e83afcf /includes/MWNamespace.php | |
| parent | cccd7bb4d819334c07e0dadaf16cbfdef31880e1 (diff) | |
Update to MediaWiki 1.25.3
Diffstat (limited to 'includes/MWNamespace.php')
| -rw-r--r-- | includes/MWNamespace.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/includes/MWNamespace.php b/includes/MWNamespace.php index bd685514..e370bf10 100644 --- a/includes/MWNamespace.php +++ b/includes/MWNamespace.php @@ -210,6 +210,8 @@ class MWNamespace { if ( $namespaces === null || $rebuild ) { global $wgExtraNamespaces, $wgCanonicalNamespaceNames; $namespaces = array( NS_MAIN => '' ) + $wgCanonicalNamespaceNames; + // Add extension namespaces + $namespaces += ExtensionRegistry::getInstance()->getAttribute( 'ExtensionNamespaces' ); if ( is_array( $wgExtraNamespaces ) ) { $namespaces += $wgExtraNamespaces; } |