Further move fix: if someone has made a piped redirect link, don't try to read the...
authorBrion Vibber <brion@users.mediawiki.org>
Sun, 8 Aug 2004 01:38:31 +0000 (01:38 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Sun, 8 Aug 2004 01:38:31 +0000 (01:38 +0000)
includes/Title.php

index 67c8fac..7c8255d 100644 (file)
@@ -1176,7 +1176,7 @@ class Title {
                }
 
                # Does the redirect point to the source?
-               if ( preg_match( "/\\[\\[\\s*([^\\]]*)]]/", $obj->cur_text, $m ) ) {
+               if ( preg_match( "/\\[\\[\\s*([^\\]\\|]*)]]/", $obj->cur_text, $m ) ) {
                        $redirTitle = Title::newFromText( $m[1] );
                        if( !is_object( $redirTitle ) ||
                                $redirTitle->getPrefixedDBkey() != $this->getPrefixedDBkey() ) {