History log of /web-php/menu.php (Results 1 – 1 of 1)
Revision Date Author Comments
# b62f99f6 02-Nov-2024 Lucas Azevedo

Update navbar design and improve search UI (#1084)

Co-authored-by: Gina Peter Banyard <girgias@php.net>
Co-authored-by: Sergey Panteleev <sergey@php.net>