diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2014-05-10 14:33:51 +0200 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2014-05-10 14:33:51 +0200 |
| commit | bc34cd3821f87b31d4259fe33c4c853eb1245df8 (patch) | |
| tree | b921b77e56340329b7b30073b552cdb6ba82a6ca | |
| parent | a45288d9de05e5e5584a77ad60469e6c5f74e3e1 (diff) | |
| download | rpg-bc34cd3821f87b31d4259fe33c4c853eb1245df8.tar.gz rpg-bc34cd3821f87b31d4259fe33c4c853eb1245df8.tar.bz2 | |
added missing translation string in extension manager
| -rw-r--r-- | lib/plugins/extension/lang/en/lang.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/plugins/extension/lang/en/lang.php b/lib/plugins/extension/lang/en/lang.php index 5224f694a..72c9b9e2d 100644 --- a/lib/plugins/extension/lang/en/lang.php +++ b/lib/plugins/extension/lang/en/lang.php @@ -96,4 +96,6 @@ $lang['nopluginperms'] = 'Plugin directory is not writable'; $lang['git'] = 'This extension was installed via git, you may not want to update it here.'; $lang['install_url'] = 'Install from URL:'; -$lang['install_upload'] = 'Upload Extension:';
\ No newline at end of file +$lang['install_upload'] = 'Upload Extension:'; + +$lang['repo_error'] = 'The plugin repository could not be contacted. Make sure your server is allowed to contact www.dokuwiki.org and check your proxy settings.';
\ No newline at end of file |