1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 |
<?php /** * Script that redirects to the article passed in the "wpDropdown" parameter. * This is used by the nostalgia skin for the special pages drop-down * * @file */ require_once( './includes/WebStart.php' ); global $wgArticlePath; $page = $wgRequest->getVal( 'wpDropdown' ); $url = str_replace( "$1", urlencode( $page ), $wgArticlePath ); header( "Location: {$url}" ); |