mirror of
https://github.com/php/web-php.git
synced 2026-04-23 15:08:20 +02:00
a270ffdd9f
to have [nearly] all special redirects at one place. Remove redirect.php as it was not used