%s%s', $menu->getUrl() ?: '#', $menu->getIcon() ? ' ' : '', htmlspecialchars($menu->getTitle()) ); } }