| Index: trunk/phase3/redirect.php |
| — | — | @@ -2,12 +2,8 @@ |
| 3 | 3 | require_once( './includes/WebStart.php' ); |
| 4 | 4 | global $wgArticlePath; |
| 5 | 5 | |
| 6 | | -require_once( 'includes/WebRequest.php' ); |
| 7 | | -$wgRequest = new WebRequest(); |
| 8 | | - |
| 9 | 6 | $page = $wgRequest->getVal( 'wpDropdown' ); |
| 10 | 7 | |
| 11 | 8 | $url = str_replace( "$1", urlencode( $page ), $wgArticlePath ); |
| 12 | 9 | |
| 13 | 10 | header( "Location: {$url}" ); |
| 14 | | - |