From f5b24acc05bb5f238b2faeeb040f128603fef932 Mon Sep 17 00:00:00 2001 From: Tim Starling Date: Mon, 30 Apr 2007 12:06:46 +0000 Subject: [PATCH] Added $wgNamespaceAliases, has been used in Language.php for some time, but missing from here. --- includes/DefaultSettings.php | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index dad160f129..35189151b3 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -1890,6 +1890,22 @@ $wgFeedDiffCutoff = 32768; # ); $wgExtraNamespaces = NULL; +/** + * Namespace aliases + * These are alternate names for the primary localised namespace names, which + * are defined by $wgExtraNamespaces and the language file. If a page is + * requested with such a prefix, the request will be redirected to the primary + * name. + * + * Set this to a map from namespace names to IDs. + * Example: + * $wgNamespaceAliases = array( + * 'Wikipedian' => NS_USER, + * 'Help' => 100, + * ); + */ +$wgNamespaceAliases = array(); + /** * Limit images on image description pages to a user-selectable limit. In order * to reduce disk usage, limits can only be selected from a list. -- 2.20.1