diff options
| author | Gerry Weißbach <gerry.w@gammaproduction.de> | 2015-04-27 08:00:12 +0200 |
|---|---|---|
| committer | Gerry Weißbach <gerry.w@gammaproduction.de> | 2015-04-27 08:00:12 +0200 |
| commit | 79a3bed0a23b6bef35eb12c6ccbb1f3301f6c621 (patch) | |
| tree | ed15843219a387e74d750004f31a986f53b67753 /lib/plugins/extension/helper/gui.php | |
| parent | a7ec353091498e86d606c27f5ca7a808c2d096c0 (diff) | |
| download | rpg-79a3bed0a23b6bef35eb12c6ccbb1f3301f6c621.tar.gz rpg-79a3bed0a23b6bef35eb12c6ccbb1f3301f6c621.tar.bz2 | |
Generate display options via JS
Since it is a JS function only, the form will be generated by it too.
Diffstat (limited to 'lib/plugins/extension/helper/gui.php')
| -rw-r--r-- | lib/plugins/extension/helper/gui.php | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/lib/plugins/extension/helper/gui.php b/lib/plugins/extension/helper/gui.php index 2dbb3d5e5..3a0f0c589 100644 --- a/lib/plugins/extension/helper/gui.php +++ b/lib/plugins/extension/helper/gui.php @@ -38,15 +38,6 @@ class helper_plugin_extension_gui extends DokuWiki_Plugin { echo '<div class="panelHeader">'; echo $this->locale_xhtml('intro_plugins'); - - $options = new Doku_Form( "viewoptions" ); - $options->addElement( form_makeOpenTag( "p" ) ); - $options->addElement( $this->getLang('display_viewoptions') ); - $options->addElement( form_makeCheckboxField( "enabled", 1, $this->getLang('display_enabled') ) ); - $options->addElement( form_makeCheckboxField( "disabled", 1, $this->getLang('display_disabled') ) ); - $options->addElement( form_makeCheckboxField( "updatable", 1, $this->getLang('display_updatable') ) ); - $options->addElement( form_makeCloseTag( "p" ) ); - $options->printForm(); echo '</div>'; $pluginlist = $plugin_controller->getList('', true); |