mirror of
https://github.com/php/web-php.git
synced 2026-03-24 15:22:19 +01:00
16 lines
336 B
PHP
16 lines
336 B
PHP
<?php
|
|
|
|
// This page jumps to the manual page of the FAQ,
|
|
// as it is now distributed with the manual
|
|
// The mirrors language is prefered
|
|
|
|
require_once 'prepend.inc';
|
|
require_once 'manual-lookup.inc';
|
|
|
|
$file = find_manual_page(default_language(), "faq");
|
|
|
|
if ($file) {
|
|
header("Location: $file");
|
|
} else { header("Location: /"); }
|
|
|
|
?>
|