New bugs.php.net code

Fix another notice

Quiet some notices

Add search link for PHP 7.3 bugs

Merging 'Add line-height to .note CSS class' from @petk
Merge branch 'pull-request/32'
PR: https://github.com/php/web-bugs/pull/32

Merging 'Fix default value for bugdb_comments.ts' from @carusogabriel
Merge branch 'pull-request/31'
PR: https://github.com/php/web-bugs/pull/31

Merging 'Remove ascending ordering of GitHub PRs' from @carusogabriel
Merge branch 'pull-request/30'
PR: https://github.com/php/web-bugs/pull/30

Add line-height to .note CSS class

The line-height of 1.3 makes the text more readable.

Add myself to trusted devs

I'm going to be removing rude comments by rhsoft.

Fix default value for bugdb_comments.ts

Remove ascending ordering of GitHub PRs

Don't display the quick fix dropdown, if there are no quickfixes available for this project

Grant Yasuo security access as he works on the session module

Fix annoying array to string error if you are logged in as a security dev, this will no longer make some links look like '...&0=Array...'

Minor cosmetics
- Show reports without a CVE-ID as 'None'
- Link to developer profile on people.php.net if a bug is assigned

Grant Daniel access to security and private reports, so he can catch reports such as #75258 in the future

Also remove the Zend Engine logo like we do with the PHP logo

Do not include bug report email address in password recovery.

Attempt at making phpinfo() re-use some of the bug styles

Tweak the message part of quick fix responses to look a tiny bit nicer

Fix the format sent to admin_table_static()

Fix the check to check the correct array

Make the outputs a little prettier instead of print_r/var_dump calls

Integrate the phpinfo() page in the layout

Once you kill one bug, two new appears. Introducing a new logo for bugsweb!

Source is included with logo.psd, the bug is public domain and free to use