Added $wgShowHostnames to shows/hide host names in API results and HTML comments

[lhc/web/wiklou.git] / redirect.phtml

diff --git a/redirect.phtml b/redirect.phtml
index bad253d..79e3cea 100644 (file)
--- a/redirect.phtml
+++ b/redirect.phtml
@@ -1,6 +1,4 @@
-<?
-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