diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2013-08-04 20:34:12 +0200 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2013-08-04 20:34:12 +0200 |
| commit | 7944abddde7619d8d59740cde19743c090d4fd3d (patch) | |
| tree | cae41b31da7f8acf95aff43c810e18ad1be27e6c /lib/plugins/extension/admin.php | |
| parent | a218edff81be5cec78bfcb0f65042315ae4e656b (diff) | |
| download | rpg-7944abddde7619d8d59740cde19743c090d4fd3d.tar.gz rpg-7944abddde7619d8d59740cde19743c090d4fd3d.tar.bz2 | |
translated error message
Diffstat (limited to 'lib/plugins/extension/admin.php')
| -rw-r--r-- | lib/plugins/extension/admin.php | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/lib/plugins/extension/admin.php b/lib/plugins/extension/admin.php index ee180192d..c9f37affb 100644 --- a/lib/plugins/extension/admin.php +++ b/lib/plugins/extension/admin.php @@ -52,9 +52,7 @@ class admin_plugin_extension extends DokuWiki_Admin_Plugin { if(!$repository->hasAccess()){ $url = $this->gui->tabURL('', array('purge'=>1)); - - msg('The DokuWiki extension repository can not be reached currently. - Online Features are not available. [<a href="'.$url.'">retry</a>]', -1); + msg($this->getLang('repo_error').' [<a href="'.$url.'">'.$this->getLang('repo_retry').'</a>]', -1); } /* @var helper_plugin_extension_extension $extension */ |