From eba8d5054329a1491f149c2003f0c383e42bddb0 Mon Sep 17 00:00:00 2001 From: Brion Vibber Date: Sun, 8 Aug 2004 01:38:31 +0000 Subject: [PATCH] Further move fix: if someone has made a piped redirect link, don't try to read the piped title as part of the target name. --- includes/Title.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/Title.php b/includes/Title.php index 67c8facda0..7c8255d62f 100644 --- a/includes/Title.php +++ b/includes/Title.php @@ -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() ) { -- 2.20.1