diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2013-08-09 13:43:35 +0200 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2013-08-09 13:43:35 +0200 |
| commit | 55332151e03b99bbfd15e0fbaae391aae454d9eb (patch) | |
| tree | 0b7696bcd85525f95b46adc709ef2b95ab0bc6c8 /lib/plugins/extension/admin.php | |
| parent | e8dda2c3faf5eb61b68d5afcbea13c5802484b4a (diff) | |
| download | rpg-55332151e03b99bbfd15e0fbaae391aae454d9eb.tar.gz rpg-55332151e03b99bbfd15e0fbaae391aae454d9eb.tar.bz2 | |
some initial go at the search tab
Diffstat (limited to 'lib/plugins/extension/admin.php')
| -rw-r--r-- | lib/plugins/extension/admin.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/plugins/extension/admin.php b/lib/plugins/extension/admin.php index c9f37affb..51d4a8d1d 100644 --- a/lib/plugins/extension/admin.php +++ b/lib/plugins/extension/admin.php @@ -48,7 +48,7 @@ class admin_plugin_extension extends DokuWiki_Admin_Plugin { // initialize the remote repository /* @var helper_plugin_extension_repository $repository */ $repository = $this->loadHelper('extension_repository'); - $repository->init(); + if(!$repository->hasAccess()){ $url = $this->gui->tabURL('', array('purge'=>1)); |