[git] web/bugs.git branch master updated. 560c225

The branch, master on web/bugs.git has been updated via 560c22585ffd9b9030fb45ec97196442a4bfbc51 (commit) from e2035e6666c9cc080637a38b33890f980462fcc3 (commit) http://git.php.net/?p=web/bugs.git;a=log;h=560c22585ffd9b9030fb45ec97196442a4bfbc51;hp=e2035e6666c9cc080637a38b33890f980462fcc3 Summary of changes: include/functions.php | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) -- Log ---------------------------------------- commit 560c22585ffd9b9030fb45ec97196442a4bfbc51 Author: Derick Rethans <github@derickrethans.nl> Date: Fri Feb 24 11:43:23 2012 +0000 Added the new random link to the menu. diff --git a/include/functions.php b/include/functions.php index 35eac1c..30f0af7 100644 --- a/include/functions.php +++ b/include/functions.php @@ -1703,6 +1703,7 @@ function response_header($title, $extraHeaders = '') <a href="search.php" class="menuWhite">advanced search</a>&nbsp;|&nbsp; <a href="search-howto.php" class="menuWhite">search howto</a>&nbsp;|&nbsp; <a href="stats.php" class="menuWhite">statistics</a>&nbsp;|&nbsp; + <a href="random" class="menuWhite">random bug</a>&nbsp;|&nbsp; <?php if ($is_logged) { ?> <a href="logout.php" class="menuWhite">logout</a> <?php } else { ?> Thank you for your contribution.