diff options
| author | 2015-01-14 23:30:19 +0100 | |
|---|---|---|
| committer | 2015-01-14 23:30:19 +0100 | |
| commit | 2f1116818d7d9a6ef413b2c06e9603ffceaf7867 (patch) | |
| tree | e79bfcb4905c66f1115bc145f7d8a44ceae1d040 /app/i18n/fr/admin.php | |
| parent | 89682886005f1e6b36e664f47b3b0862d62846e6 (diff) | |
Fix extension interface
- Seperate user and system extensions on extension/index
- extension/configure shows index page with the slider opened
if request is done with ajax
- Reorganize some extension view files
Diffstat (limited to 'app/i18n/fr/admin.php')
| -rw-r--r-- | app/i18n/fr/admin.php | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/app/i18n/fr/admin.php b/app/i18n/fr/admin.php index 3d69e4daf..980f1fccf 100644 --- a/app/i18n/fr/admin.php +++ b/app/i18n/fr/admin.php @@ -103,10 +103,16 @@ return array( ), ), 'extensions' => array( + 'disabled' => 'Désactivée', 'empty_list' => 'Il n’y a aucune extension installée.', + 'enabled' => 'Activée', 'no_configure_view' => 'Cette extension ne peut pas être configurée.', - 'system' => 'Extension système (vous n’avez aucun droit dessus)', + 'system' => array( + '_' => 'Extensions système', + 'no_rights' => 'Extension système (vous n’avez aucun droit dessus)', + ), 'title' => 'Extensions', + 'user' => 'Extensions utilisateur', ), 'stats' => array( '_' => 'Statistiques', |
