diff options
| author | Gerry Weißbach <gerry.w@gammaproduction.de> | 2014-07-16 08:02:34 +0200 |
|---|---|---|
| committer | Gerry Weißbach <gerry.w@gammaproduction.de> | 2014-07-16 08:02:34 +0200 |
| commit | 0bd5b90b4c1294b3c9abc1977060f971dc2e2744 (patch) | |
| tree | ac79a7402ffef718685f16dbba6692a0c9b5f458 /lib/plugins/extension/lang/en | |
| parent | 1858e4d7685782550789fd8c228e55ae319bc37a (diff) | |
| parent | 80679bafa1a5ed611bafc603afd0ae7b2b5954a7 (diff) | |
| download | rpg-0bd5b90b4c1294b3c9abc1977060f971dc2e2744.tar.gz rpg-0bd5b90b4c1294b3c9abc1977060f971dc2e2744.tar.bz2 | |
Merge remote-tracking branch 'splitbrain/master'
Diffstat (limited to 'lib/plugins/extension/lang/en')
| -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 |