. */ declare(strict_types=1); // Redirect legacy URLs to the new router. $_GET['xref'] = $_GET['rid'] ?? ''; $_GET['route'] = 'repository'; require __DIR__ . '/index.php';