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