url-encode the url
authorBrion Vibber <brion@users.mediawiki.org>
Thu, 14 Oct 2004 07:49:22 +0000 (07:49 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Thu, 14 Oct 2004 07:49:22 +0000 (07:49 +0000)
redirect.php

index 2f50814..f84d882 100644 (file)
@@ -12,7 +12,7 @@ $wgRequest = new WebRequest();
 
 $page = $wgRequest->getVal( "wpDropdown" );
 
-$url = str_replace( "$1", $page, $wgArticlePath );
+$url = str_replace( "$1", urlencode( $page ), $wgArticlePath );
 
 header( "Location: {$url}" );
 ?>