[PHP-WEBMASTER] [web-php] PR #1084: Update navbar design and improve search UI

[saundefined]

Pull Request: https://github.com/php/web-php/pull/1084

Closed by saundefined.