-<?
-include_once( "./LocalSettings.php" );
-global $wpDropdown, $wgArticlePath;
-$url = str_replace( "$1", $wpDropdown, $wgArticlePath );
-header( "Location: {$url}" );
-?>
+<?php
+// stub file for compatibility with older versions
+include_once('./redirect.php');
+?>
\ No newline at end of file