/**
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();
}
