Simulate /extra shortcut call

php · Apr 30, 2009 · a19988d · a19988d
1 parent 8cf0661
commit a19988d
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/extra/index.php b/extra/index.php
@@ -0,0 +1,7 @@
+<?php
+// $Id$
+
+// Simulate a /extra shortcut call (which will lead to a manual page)
+$_SERVER['REQUEST_URI'] = '/extra';
+include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
+include_once $_SERVER['DOCUMENT_ROOT'] . '/error.php';