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