aboutsummaryrefslogtreecommitdiff
path: root/docs/fr/developers
diff options
context:
space:
mode:
authorGravatar Alexandre Alapetite <alexandre@alapetite.fr> 2022-02-28 20:50:39 +0100
committerGravatar GitHub <noreply@github.com> 2022-02-28 20:50:39 +0100
commit7c74653cc21b1dda382ec45544ed087d441480a5 (patch)
tree26019b84d2bd1374d4b12d1de2455019688c8f5b /docs/fr/developers
parent1fe66ad020ca8f0560bb9c6e311852ed77228f78 (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/developers')
-rw-r--r--docs/fr/developers/03_Backend/05_Extensions.md4
1 files changed, 2 insertions, 2 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