php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Code Issues Packages Projects Releases Wiki Activity

bye, bye generated english manual. this should be exciting.

Browse Source
This commit is contained in:
jim winstead
2001-01-12 21:30:28 +00:00
parent d70a40e8b1
commit 53bcd9692e
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
manual/index.php Normal file
View File

@@ -0,0 +1,8 @@
<?php
require "shared.inc";
$lang = $MIRRORS[$MYSITE][6];
if (is_dir($lang)) {
header("Location: lang/");
}
header("Location: en/");