diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2019-05-19 11:11:12 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-19 11:11:12 +0200 |
| commit | cbdd2bc2146ec1582e77d503ac330fd8241ea478 (patch) | |
| tree | ca888f0660fc4bc6bcbb4250e9c20350e7f75362 /lib/plugins/extension/admin.php | |
| parent | 633025b1783377e998a838b81744ea4cf58ab527 (diff) | |
| parent | d915fa09cbb206c1980d411aef53c4b869b6a9a3 (diff) | |
| download | dokuwiki-cbdd2bc2146ec1582e77d503ac330fd8241ea478.tar.gz dokuwiki-cbdd2bc2146ec1582e77d503ac330fd8241ea478.zip | |
Merge pull request #2627 from splitbrain/extcli
First go on a CLI component for the extension manager
Diffstat (limited to 'lib/plugins/extension/admin.php')
| -rw-r--r-- | lib/plugins/extension/admin.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/plugins/extension/admin.php b/lib/plugins/extension/admin.php index 71257cf43..1f1d4b513 100644 --- a/lib/plugins/extension/admin.php +++ b/lib/plugins/extension/admin.php @@ -49,7 +49,7 @@ class admin_plugin_extension extends DokuWiki_Admin_Plugin { /* @var helper_plugin_extension_repository $repository */ $repository = $this->loadHelper('extension_repository'); - if(!$repository->hasAccess()) { + if(!$repository->hasAccess(!$INPUT->bool('purge'))) { $url = $this->gui->tabURL('', array('purge' => 1)); msg($this->getLang('repo_error').' [<a href="'.$url.'">'.$this->getLang('repo_retry').'</a>]', -1); } @@ -156,4 +156,4 @@ class admin_plugin_extension extends DokuWiki_Admin_Plugin { } } -// vim:ts=4:sw=4:et:
\ No newline at end of file +// vim:ts=4:sw=4:et: |