mirror of
https://github.com/php/web-php.git
synced 2026-04-27 08:58:12 +02:00
3771201e21
to overcome Apache specific virtual() usage, which ties the mirror sites to Apache and running PHP as an Apache module. This is just a start, so that the bot is continually working, until all mirror sites update, when we can start to step further. Also discontinue checks for the local search setup, which is a leftover from the old days.
2 lines
74 B
PHP
2 lines
74 B
PHP
<?php include_once $_SERVER['DOCUMENT_ROOT'] . '/manual/mirror-info.php';
|