mirror of
https://github.com/php/web-php.git
synced 2026-03-24 07:12:16 +01:00
8 lines
237 B
PHP
8 lines
237 B
PHP
<?php
|
|
// $Id$
|
|
|
|
// Simulate a /bin shortcut call (which will lead to a manual page)
|
|
$_SERVER['REQUEST_URI'] = '/bin';
|
|
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
|
|
include_once $_SERVER['DOCUMENT_ROOT'] . '/error.php';
|