* moved link setup to separate functions

[mediawiki.git] / redirect.php

<?php
include_once( "./LocalSettings.php" );
global $wpDropdown, $wgArticlePath;
$url = str_replace( "$1", $wpDropdown, $wgArticlePath );
header( "Location: {$url}" );
?>