getItems($_SERVER['REQUEST_URI']); /* XXX workaround for dashboard */ if (!isset($menuBreadcrumbs)) { /* XXX generating breadcrumbs requires getItems() call */ $menuBreadcrumbs = $menu->getBreadcrumbs(); } $themename = htmlspecialchars(get_current_theme()); $pagetitle = gentitle(array_reverse($menuBreadcrumbs), ' | '); $pagetitle .= sprintf(' | %s.%s', $config['system']['hostname'], $config['system']['domain']); ?>