/** * header - public */ function header() { if (!browser_is_netscape4()) { $this->html_params['stylesheet'][] = '/wiki/themes/Codendi/phpwiki.css'; } parent::header(); }
/** * WikiServiceAdminViews - Constructor */ function WikiServiceAdminViews(&$controler, $id = 0) { parent::WikiView($controler, $id); $pm = ProjectManager::instance(); $this->html_params['title'] = $GLOBALS['Language']->getText('wiki_views_wkserviews', 'title', array($pm->getProject($this->gid)->getPublicName())); }