diff options
| author |  Alexis Degrugillier <aledeg@users.noreply.github.com>
| 2024-10-20 14:51:49 -0400 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2024-10-20 20:51:49 +0200 |
| commit | ad2c6e6fbf3658f08295fb437a0f97e10498eb11 (patch) | |
| tree | 2207fef4ee921450ac3b25d217711fe16173b6a0 /app/i18n/fr | |
| parent | a766ebfb68298cfd2a268d87443c5e2586e93243 (diff) | |
Add privacy settings on extension list retrieval (#4603)
* Add privacy settings on extension list retrieval
There is a new privacy page to handle all configuration related to privacy. At
the moment, only privacy related to extensions can be configured.
The new settings allow to change the location of the extension list file and to
choose if the selected file is cached for a day or retrieved for each request.
Fix #4570
* Update code to pass PHPStan
* make fix-all
---------
Co-authored-by: maTh <math-home@web.de>
Co-authored-by: Alexandre Alapetite <alexandre@alapetite.fr>
Diffstat (limited to 'app/i18n/fr')
| -rw-r--r-- | app/i18n/fr/admin.php | 1 | ||||
| -rw-r--r-- | app/i18n/fr/conf.php | 4 | ||||
| -rw-r--r-- | app/i18n/fr/gen.php | 1 |
3 files changed, 6 insertions, 0 deletions
diff --git a/app/i18n/fr/admin.php b/app/i18n/fr/admin.php index 29b1142c3..2a9f139e6 100644 --- a/app/i18n/fr/admin.php +++ b/app/i18n/fr/admin.php @@ -116,6 +116,7 @@ return array( 'description' => 'Description', // IGNORE 'disabled' => 'Désactivée', 'empty_list' => 'Aucune extension installée', + 'empty_list_help' => 'Vérifiez les logs pour déterminer pourquoi la liste des extensions est vide.', 'enabled' => 'Activée', 'latest' => 'Installée', 'name' => 'Nom', diff --git a/app/i18n/fr/conf.php b/app/i18n/fr/conf.php index 129bbde43..46166a637 100644 --- a/app/i18n/fr/conf.php +++ b/app/i18n/fr/conf.php @@ -99,6 +99,10 @@ return array( 'previous' => 'Précédent', ), ), + 'privacy' => array( + '_' => 'Vie privée', + 'retrieve_extension_list' => 'Récupération de la liste des extensions', + ), 'profile' => array( '_' => 'Gestion du profil', 'api' => 'Gestion de l’API', diff --git a/app/i18n/fr/gen.php b/app/i18n/fr/gen.php index 2468e7127..f62c73a5e 100644 --- a/app/i18n/fr/gen.php +++ b/app/i18n/fr/gen.php @@ -183,6 +183,7 @@ return array( 'display' => 'Affichage', 'extensions' => 'Extensions', // IGNORE 'logs' => 'Logs', // IGNORE + 'privacy' => 'Vie privée', 'queries' => 'Filtres utilisateurs', 'reading' => 'Lecture', 'search' => 'Rechercher des mots ou des #tags', |