2 rcs_id('$Id: UserPreferences.php,v 1.2 2002-01-24 00:45:28 dairiki Exp $');
4 * Plugin to allow user to adjust his preferences.
6 class WikiPlugin_UserPreferences
10 return _("UserPreferences");
14 function getDefaultArguments() {
19 function run($dbi, $argstr, $request) {
20 return Template('userprefs');
29 // c-hanging-comment-ender-p: nil
30 // indent-tabs-mode: nil