Source for file 404-manual.php

<?php
$file = $_SERVER['REQUEST_URI'];
//try english file
$enfile = str_replace('/manual/', '/manual/en/', $file);
if (file_exists(dirname(__FILE__) . '/../' . $enfile)) { 
    header('HTTP/1.0 301 Moved permanently');
    header('Location: ' . $enfile);
    exit();
}
?>
<?php response_header('Error 404'); ?>
 
<h1>Error 404 - document not found</h1>
 
<p>The requested document <i><?php echo strip_tags($_SERVER['REQUEST_URI']); ?></i> was not
found in the PEAR manual.</p>
 
<p>Please go to the <?php echo make_link('/manual/', 'Table of Contents'); ?>
 and try to find the desired chapter there.</p>
 
<?php response_footer(); ?>