00001 <?php 00002 00015 //$Id$ 00016 00017 import('classes.plugins.ThemePlugin'); 00018 00019 class ClassicNavyThemePlugin extends ThemePlugin { 00025 function getName() { 00026 return 'ClassicNavyThemePlugin'; 00027 } 00028 00029 function getDisplayName() { 00030 return 'ClassicNavy Theme'; 00031 } 00032 00033 function getDescription() { 00034 return 'Classic navy layout'; 00035 } 00036 00037 function getStylesheetFilename() { 00038 return 'classicNavy.css'; 00039 } 00040 00041 function getLocaleFilename($locale) { 00042 return null; // No locale data 00043 } 00044 } 00045 00046 ?>