xref: /web-php/manual/index.php (revision 59c070f5) 
1<?php
2
3include_once __DIR__ . '/../include/prepend.inc';
4mirror_redirect("/manual/$LANG/index.php");
5