plugins/themes/redbar/RedbarThemePlugin.inc.php

   1 <?php
   2
   3 /**
   4  * @file RedbarThemePlugin.inc.php
   5  *
   6  * Copyright (c) 2003-2008 John Willinsky
   7  * Distributed under the GNU GPL v2. For full terms see the file docs/COPYING.
   8  *
   9  * @class RedbarThemePlugin
  10  * @ingroup plugins_themes_redbar
  11  *
  12  * @brief "Redbar" theme plugin
  13  */
  14
  15 // $Id: RedbarThemePlugin.inc.php,v 1.1.1.1 2008/10/20 21:27:09 tylerl Exp $
  16
  17
  18 import('classes.plugins.ThemePlugin');
  19
  20 class RedbarThemePlugin extends ThemePlugin {
  21         /**
  22          * Get the name of this plugin. The name must be unique within
  23          * its category.
  24          * @return String name of plugin
  25          */
  26         function getName() {
  27                 return 'RedbarThemePlugin';
  28         }
  29
  30         function getDisplayName() {
  31                 return 'Redbar Theme';
  32         }
  33
  34         function getDescription() {
  35                 return 'Redbar layout';
  36         }
  37
  38         function getStylesheetFilename() {
  39                 return 'redbar.css';
  40         }
  41
  42         function getLocaleFilename($locale) {
  43                 return null; // No locale data
  44         }
  45 }
  46
  47 ?>