1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Files
archived-web-php/manual/index.php
2003-08-02 20:47:06 +00:00

5 lines
125 B
PHP

<?php
// $Id$
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
mirror_redirect("/manual/$LANG/index.php");
?>