com web/master: Add github.php to navigation: include/functions.inc
| From: | Johannes Schlüter | Date: | Fri, 10 May 2013 23:33:37 +0000 |
| Subject: | com web/master: Add github.php to navigation: include/functions.inc | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-15851@lists.php.net to get a copy of this message | ||
Commit: fd6f391fb9cd08d46416febed083e40ba5a8a2d7
Author: Johannes Schlüter <johannes@schlueters.de> 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