Commit: fd6f391fb9cd08d46416febed083e40ba5a8a2d7 Author: Johannes Schlüter <[email protected]> Sat, 11 May 2013 01:33:37 +0200 Parents: 458dec41c58a27f3b041c031a57ac4af870ac71d Branches: master
Link: http://git.php.net/?p=web/master.git;a=commitdiff;h=fd6f391fb9cd08d46416febed083e40ba5a8a2d7 Log: Add github.php to navigation Changed paths: M include/functions.inc Diff: diff --git a/include/functions.inc b/include/functions.inc index 6852cf8..be6d87b 100644 --- a/include/functions.inc +++ b/include/functions.inc @@ -63,6 +63,7 @@ function head($title="",$private=1) { // Default to $private == true to permit n <?php if (isset($_SESSION['user'])) { ?> <li><a href="/manage/users.php?username=<?php echo $_SESSION['user']; ?>">My php.net Profile</a></li> <?php } ?> + <li><a href="/manage/github.php">Github Repos</a></li> <li><a href="/login.php?action=logout">Logout</a></li> </ul> <?php -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
