/**
* header - public
*
* Display Wiki Service header
*/
function header()
{
$this->html_params['stylesheet'][] = '/wiki/themes/Codendi/phpwiki-codendi.css';
parent::header();
$this->displayMenu();
}
/**
* header - public
*
* Display Wiki Service header
*/
function header()
{
$this->html_params['stylesheet'][] = PHPWIKI_PLUGIN_BASE_URL . '/themes/Codendi/phpwiki-codendi.css';
parent::header();
$this->displayMenu();
}
/**
* header - public
*
* Display Wiki Service header
*/
function header()
{
$this->html_params['stylesheet'][] = '/wiki/themes/Codendi/phpwiki-codendi.css';
$this->html_params['service_name'] = 'wiki';
$this->html_params['project_id'] = $this->gid;
parent::header();
$this->displayMenu();
}
