diff options
author | chris <chris@jalakai.co.uk> | 2006-07-05 03:21:42 +0200 |
---|---|---|
committer | chris <chris@jalakai.co.uk> | 2006-07-05 03:21:42 +0200 |
commit | 306ca8aa54954ea2623d9e4927a2c07b9efdfea3 (patch) | |
tree | d2870987b37ea76662ff7ae7d1fdd10a29d3e100 /lib/plugins/config/settings/extra.class.php | |
parent | 409d7af7c9c6c97c8c00cada876a2bf967fa1526 (diff) | |
download | rpg-306ca8aa54954ea2623d9e4927a2c07b9efdfea3.tar.gz rpg-306ca8aa54954ea2623d9e4927a2c07b9efdfea3.tar.bz2 |
disabled actions addition to config plugin
This patch adds a new generic settings class, setting_multicheckbox. The class
displays each of a list of possible choices as a checkbox and an additional text
input field for "other" values. The final result is saved in the config file as
a comma separated list.
It also supports an additional, optional, parameter, "_combine" which can be used
to group complimentary values, allowing them to be set or unset together with one
checkbox.
darcs-hash:20060705012142-9b6ab-b92daddd1393bfc5e9b650a57348237726957c71.gz
Diffstat (limited to 'lib/plugins/config/settings/extra.class.php')
-rw-r--r-- | lib/plugins/config/settings/extra.class.php | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/lib/plugins/config/settings/extra.class.php b/lib/plugins/config/settings/extra.class.php index 260f32eaf..af97d85a8 100644 --- a/lib/plugins/config/settings/extra.class.php +++ b/lib/plugins/config/settings/extra.class.php @@ -79,3 +79,22 @@ if (!class_exists('setting_im_convert')) { } } +if (!class_exists('setting_disableactions')) { + class setting_disableactions extends setting_multicheckbox { + + function html(&$plugin, $echo=false) { + global $lang; + + // make some language adjustments (there must be a better way) + // transfer some DokuWiki language strings to the plugin + if (!$plugin->localised) $this->setupLocale(); + $plugin->lang[$this->_key.'_revisions'] = $lang['btn_revs']; + $plugin->lang[$this->_key.'_register'] = $lang['register']; + + foreach ($this->_choices as $choice) + if (isset($lang['btn_'.$choice])) $plugin->lang[$this->_key.'_'.$choice] = $lang['btn_'.$choice]; + + return parent::html($plugin, $echo); + } + } +} |