diff options
Diffstat (limited to 'lib/plugins/extension/helper/gui.php')
-rw-r--r-- | lib/plugins/extension/helper/gui.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/plugins/extension/helper/gui.php b/lib/plugins/extension/helper/gui.php index d02c02a89..919eb2c0b 100644 --- a/lib/plugins/extension/helper/gui.php +++ b/lib/plugins/extension/helper/gui.php @@ -148,6 +148,7 @@ class helper_plugin_extension_gui extends DokuWiki_Plugin */ public function tabInstall() { + global $lang; echo '<div class="panelHeader">'; echo $this->locale_xhtml('intro_install'); echo '</div>'; @@ -166,6 +167,9 @@ class helper_plugin_extension_gui extends DokuWiki_Plugin ->addClass('block') ->attrs(['type' => 'file']); $form->addTag('br'); + $form->addCheckbox('overwrite', $lang['js']['media_overwrt']) + ->addClass('block'); + $form->addTag('br'); $form->addButton('', $this->getLang('btn_install')) ->attrs(['type' => 'submit', 'title' => $this->getLang('btn_install')]); $form->addTagClose('div'); |