com web/master: Shorten menu items, include master stylesheet and use 'fullscreen' width: include/functions.inc

Commit: ce29f818f858a2fbb527f9509bb9ebe2050b6e1b Author: Hannes Magnusson <bjori@mongodb.com> Thu, 26 Dec 2013 22:28:14 -0800 Parents: 868949f6875f5045c79162dc85e7ef20bae13d65 Branches: master Link: http://git.php.net/?p=web/master.git;a=commitdiff;h=ce29f818f858a2fbb527f9509bb9ebe2050b6e1b Log: Shorten menu items, include master stylesheet and use 'fullscreen' width Changed paths: M include/functions.inc Diff: diff --git a/include/functions.inc b/include/functions.inc index 85b7dda..b5000e3 100644 --- a/include/functions.inc +++ b/include/functions.inc @@ -24,9 +24,9 @@ function head($title="") { array("href" => "/manage/mirrors.php", "text" => "Mirrors"), array("href" => "/manage/users.php", "text" => "Users"), array("href" => "/manage/user-notes.php", "text" => "Notes"), - array("href" => "/manage/github.php", "text" => "Github Repos"), + array("href" => "/manage/github.php", "text" => "Github"), ); - $CSS = array(); + $CSS = array("/shared/styles/master.css"); $SEARCH = array(); if (strstr($_SERVER["SCRIPT_FILENAME"], "users.php")) { @@ -37,11 +37,11 @@ function head($title="") { $SEARCH = array("method" => "get", "action" => "/manage/event.php", "placeholder" => "Search Events", "name" => "search"); } if (isset($_SESSION['credentials'])) { - array_unshift($LINKS, array("href" => "/manage/users.php?username=" . $_SESSION["credentials"][0], "text" => "My PHP.net Profile")); + array_unshift($LINKS, array("href" => "/manage/users.php?username=" . $_SESSION["credentials"][0], "text" => "My Profile")); $LINKS[] = array("href" => "/login.php?action=logout", "text" => "Logout"); } include __DIR__ . "/../shared/templates/header.inc"; - echo '<section class="mainscreen">'; + echo '<section class="fullscreen">'; } function foot() {