Add support for extensions in Docker environment (#3042)

By default, the container starts without extensions. But if for some reasons,
you need to add them without copying or moving some code, you can embed them
while starting the container. The syntax is:
```
make start extensions="/full/path/to/extension/1 /full/path/to/extension/2"
```

1 files changed, 7 insertions, 0 deletions

diff --git a/docs/fr/developers/03_Backend/05_Extensions.md b/docs/fr/developers/03_Backend/05_Extensions.md
index 1f7687b47..95cccfe7f 100644
--- a/docs/fr/developers/03_Backend/05_Extensions.md
+++ b/docs/fr/developers/03_Backend/05_Extensions.md
@@ -374,6 +374,13 @@ temps d'aborder les extensions en elles-même.
 Une extension permet donc d'ajouter des fonctionnalités facilement à
 FreshRSS sans avoir à toucher au cœur du projet directement.
 
+### Travailler dans Docker
+
+Quand on travaille sur une extension, c'est toujours plus facile de la travailler directement dans son environnement. Avec Docker, on peut exploiter l'option ```volume``` quand on démarre le conteneur. Heureusement, on peut l'utiliser sans avoir de connaissances particulières de Docker en utilisant la règle du Makefile :
+```
+make start extensions="/chemin/complet/de/l/extension/1 /chemin/complet/de/l/extension/2"
+```
+
 ### Les fichiers et répertoires de base
 
 La première chose à noter est que **toutes** les extensions **doivent** se