// AdminTab.php: typos.