From 7c74653cc21b1dda382ec45544ed087d441480a5 Mon Sep 17 00:00:00 2001 From: Alexandre Alapetite Date: Mon, 28 Feb 2022 20:50:39 +0100 Subject: Update markdownlint-cli dev dependency (#4241) * Update markdownlint-cli dev dependency And fix https://github.com/advisories/GHSA-6vfc-qv3f-vr6c * npm ci --- docs/fr/developers/03_Backend/05_Extensions.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/fr/developers') 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 -- cgit v1.2.3