redirect.php


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

<?php
unset( $DP );
unset( $IP );
$wgCommandLineMode = false;

include_once( "./LocalSettings.php" );
global $wgArticlePath;

include_once( "WebRequest.php" );
$wgRequest = new WebRequest();

$page = $wgRequest->getVal( "wpDropdown" );

$url = str_replace( "$1", $page, $wgArticlePath );

header( "Location: {$url}" );
?>