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