/** Get the standard install-page header @return An HTML string */ function getHeader() { ob_start(); $page_title = $this->title; $header = $this->header; if ($this->themed) { echo parent::getHeader(); } elseif ($this->config->get('WINDOW_DRESSING')) { include dirname(__FILE__) . '/../src/header.html'; } else { include dirname(__FILE__) . '/../src/header_install.html'; } return ob_get_clean(); }