[git] web/bugs.git branch master updated. cad77db

The branch master on web/bugs.git has been updated via cad77dbb3906e5774bc3c32a38f55ed5ac351bc3 (commit) via 8e7d087c39f44ceedf6319db068d3e89d5899363 (commit) from 0dbc2ee5676ec73af634b24bc4c040c385352618 (commit) http://git.php.net/?p=web/bugs.git;a=log;h=cad77dbb3906e5774bc3c32a38f55ed5ac351bc3;hp=0dbc2ee5676ec73af634b24bc4c040c385352618 Summary of changes: www/index.php | 8 ++++++++ 1 files changed, 8 insertions(+), 0 deletions(-) -- Log ---------------------------------------- commit cad77dbb3906e5774bc3c32a38f55ed5ac351bc3 Merge: 8e7d087 0dbc2ee Author: Johannes Schlüter <johannes@schlueters.de> Date: Thu Mar 8 14:26:15 2012 +0100 Merge branch 'master' of git.php.net:/web/bugs * 'master' of git.php.net:/web/bugs: - add Hazaifa commit 8e7d087c39f44ceedf6319db068d3e89d5899363 Author: Johannes Schlüter <johannes@schlueters.de> Date: Thu Mar 8 14:25:26 2012 +0100 Add user-specific quick search for assigned bugs diff --git a/www/index.php b/www/index.php index ca7c7b7..0833cb4 100644 --- a/www/index.php +++ b/www/index.php @@ -116,6 +116,14 @@ to a random open bug.</p> 'suffix' => '&bug_type=Documentation+Problem&patch=Y', ), ); + + if (!empty($_SESSION["user"])) { + $searches['Your assigned bugs'] = array( + 'base' => $base_default, + 'suffix' => '&assign='.urlencode($_SESSION["user"]) + ); + } + foreach ($searches as $title => $linfo) { echo '<li><a href="', $linfo['base'], $linfo['suffix'], '">', $title, '</a></li>', PHP_EOL; } Thank you for your contribution.