* (bug 3466) Generate #REDIRECT [[$1]] on page moves instead of #redirect [[$1]]

diff --git a/languages/Language.php b/languages/Language.php
index 683fc0b..d0d4960 100644 (file)
--- a/languages/Language.php
+++ b/languages/Language.php
@@ -188,7 +188,7 @@ $wgLanguageNamesEn =& $wgLanguageNames;
 #
 /* private */ $wgMagicWordsEn = array(
 #   ID                                 CASE  SYNONYMS
-       MAG_REDIRECT             => array( 0,    '#redirect'              ),
+       MAG_REDIRECT             => array( 0,    '#REDIRECT'              ),
        MAG_NOTOC                => array( 0,    '__NOTOC__'              ),
        MAG_FORCETOC             => array( 0,    '__FORCETOC__'           ),
        MAG_TOC                  => array( 0,    '__TOC__'                ),