1<?php 2 3 $_SERVER['BASE_PAGE'] = 'releases/8.0/index.php'; 4include __DIR__ . '/../../include/site.inc'; 5 6mirror_redirect('/releases/8.0/en.php'); 7
