mirror of
https://github.com/php/web-php.git
synced 2026-03-23 23:02:13 +01:00
7 lines
145 B
PHP
7 lines
145 B
PHP
<?php
|
|
|
|
$_SERVER['BASE_PAGE'] = 'releases/8.1/index.php';
|
|
include __DIR__ . '/../../include/site.inc';
|
|
|
|
mirror_redirect('/releases/8.1/en.php');
|