diff options
| author | 2016-11-20 16:52:07 +0100 | |
|---|---|---|
| committer | 2016-11-20 16:52:07 +0100 | |
| commit | b28b6a4bf273253d1bb57b99a80fa7ae77a48397 (patch) | |
| tree | fdee3b12781b46cdf132b8fb74bf2e9aedd3cf91 /app/i18n/fr/admin.php | |
| parent | b07a05dc79d314b65cb7f55c1e3788ac00b27f88 (diff) | |
extension_loaded fileinfo
https://github.com/FreshRSS/FreshRSS/issues/1375
Diffstat (limited to 'app/i18n/fr/admin.php')
| -rw-r--r-- | app/i18n/fr/admin.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/app/i18n/fr/admin.php b/app/i18n/fr/admin.php index e9263a5e2..9a13ecc21 100644 --- a/app/i18n/fr/admin.php +++ b/app/i18n/fr/admin.php @@ -57,6 +57,10 @@ return array( 'nok' => 'La table feed est mal configurée.', 'ok' => 'La table feed est bien configurée.', ), + 'fileinfo' => array( + 'nok' => 'Impossible de trouver la librairie PHP fileinfo (paquet fileinfo).', + 'ok' => 'Vous disposez de la librairie fileinfo.', + ), 'files' => 'Installation des fichiers', 'json' => array( 'nok' => 'Vous ne disposez pas de JSON (paquet php5-json).', |
