lib/plugin/UserPreferences.php

   1 <?php // -*-php-*-
   2 rcs_id('$Id: UserPreferences.php,v 1.1 2002-01-23 19:20:05 dairiki Exp $');
   3 /**
   4  * Plugin to allow user to adjust his preferences.
   5  */
   6 class WikiPlugin_UserPreferences
   7 extends WikiPlugin
   8 {
   9     function getName () {
  10         return _("UserPreferences");
  11     }
  12
  13     /*
  14     function getDefaultArguments() {
  15         return array();
  16     }
  17     */
  18
  19     function run($dbi, $argstr, $request) {
  20         return new WikiTemplate('userprefs');
  21     }
  22 };
  23
  24 // For emacs users
  25 // Local Variables:
  26 // mode: php
  27 // tab-width: 8
  28 // c-basic-offset: 4
  29 // c-hanging-comment-ender-p: nil
  30 // indent-tabs-mode: nil
  31 // End:
  32 ?>