2 rcs_id('$Id: themeinfo.php,v 1.37 2007-07-01 09:36:10 rurban Exp $');
5 * This file defines the default appearance ("theme") of PhpWiki.
8 require_once('lib/Theme.php');
10 $WikiTheme = new Theme('default');
12 // - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
13 // (c-file-style: "gnu")
18 // c-hanging-comment-ender-p: nil
19 // indent-tabs-mode: nil