diff options
| author | 2022-02-28 20:50:39 +0100 | |
|---|---|---|
| committer | 2022-02-28 20:50:39 +0100 | |
| commit | 7c74653cc21b1dda382ec45544ed087d441480a5 (patch) | |
| tree | 26019b84d2bd1374d4b12d1de2455019688c8f5b /docs/fr | |
| parent | 1fe66ad020ca8f0560bb9c6e311852ed77228f78 (diff) | |
Update markdownlint-cli dev dependency (#4241)
* Update markdownlint-cli dev dependency
And fix https://github.com/advisories/GHSA-6vfc-qv3f-vr6c
* npm ci
Diffstat (limited to 'docs/fr')
| -rw-r--r-- | docs/fr/developers/03_Backend/05_Extensions.md | 4 | ||||
| -rw-r--r-- | docs/fr/users/01_Installation.md | 2 | ||||
| -rw-r--r-- | docs/fr/users/07_Frequently_Asked_Questions.md | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/docs/fr/developers/03_Backend/05_Extensions.md b/docs/fr/developers/03_Backend/05_Extensions.md index a8cfd40cd..a715c40b3 100644 --- a/docs/fr/developers/03_Backend/05_Extensions.md +++ b/docs/fr/developers/03_Backend/05_Extensions.md @@ -449,10 +449,10 @@ Seuls les champs `name` et `entrypoint` sont requis. ### Choisir entre extension « system » ou « user » -A __user__ extension can be enabled by some users and not by others +A *user* extension can be enabled by some users and not by others (typically for user preferences). -A __system__ extension in comparison is enabled for every account. +A *system* extension in comparison is enabled for every account. ### Writing your own extension.php diff --git a/docs/fr/users/01_Installation.md b/docs/fr/users/01_Installation.md index 1fdb9b4fe..0a04206c2 100644 --- a/docs/fr/users/01_Installation.md +++ b/docs/fr/users/01_Installation.md @@ -88,7 +88,7 @@ Comme son nom l’indique, il s’agit de la version sur laquelle les développe Voici un fichier de configuration pour nginx. Il couvre la configuration pour HTTP, HTTPS, et PHP. -_Vous pourrez trouver d’autres fichiers de configuration plus simples mais ces derniers ne seront peut-être pas compatibles avec l’API FreshRSS._ +*Vous pourrez trouver d’autres fichiers de configuration plus simples mais ces derniers ne seront peut-être pas compatibles avec l’API FreshRSS.* ```nginx server { diff --git a/docs/fr/users/07_Frequently_Asked_Questions.md b/docs/fr/users/07_Frequently_Asked_Questions.md index b787f3619..6e8153f1f 100644 --- a/docs/fr/users/07_Frequently_Asked_Questions.md +++ b/docs/fr/users/07_Frequently_Asked_Questions.md @@ -107,6 +107,6 @@ Exemples avec _uBlock_ : * Ajoutez votre instance FreshRSS à la liste blanche de en l’ajoutant dans _uBlock > Ouvrir le tableau de bord > Liste blanche_. -*-* Autorisez votre instance FreshRSS à appeler la page de configuration +* Autorisez votre instance FreshRSS à appeler la page de configuration `sharing` en ajoutant la règle `*sharing,domain=~votredomaine.com` dans _uBlock > Ouvrir le fichier tableau de bord > Mes filtres_ |
