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