diff options
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: |