mirror of
https://github.com/php/web-php.git
synced 2026-03-23 23:02:13 +01:00
Add current config option (ignored in old-web), and FIXME placeholders for pages
not in any menu yet
This commit is contained in:
@@ -3,7 +3,7 @@
|
||||
$_SERVER['BASE_PAGE'] = 'mirrors.php';
|
||||
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/prepend.inc';
|
||||
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/mirrortable.inc';
|
||||
site_header("Mirror Sites");
|
||||
site_header("Mirror Sites", array("current" => "community"));
|
||||
?>
|
||||
|
||||
<h1>Mirror Sites</h1>
|
||||
|
||||
Reference in New Issue
Block a user