00001 <?php 00002 00018 // $Id: index.php,v 1.5 2008/07/01 01:16:14 asmecher Exp $ 00019 00020 00021 require_once('RedbarThemePlugin.inc.php'); 00022 00023 return new RedbarThemePlugin(); 00024 00025 ?>
