Better phpDocs: menus.php