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/developers | |
| 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/developers')
| -rw-r--r-- | docs/fr/developers/03_Backend/05_Extensions.md | 4 |
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 |
