Doc: in the Emaj-web installation page, add the list of both required…

… php extensions.
dalibo · Jan 20, 2023 · ddde740 · ddde740
1 parent 70a2aad
commit ddde740
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/en/webInstall.rst b/docs/en/webInstall.rst
@@ -4,7 +4,7 @@ Installing the Emaj_web client
 Prerequisite
 ------------
 
-*Emaj_web* requires a web server with a php interpreter.
+*Emaj_web* requires a web server with a php interpreter, and its *pgsql* and *intl* extensions.
 
 
 Plug-in download

diff --git a/docs/fr/webInstall.rst b/docs/fr/webInstall.rst
@@ -4,7 +4,7 @@ Installation du client Emaj_web
 Pré-requis
 ----------
 
-*Emaj_web* nécessite un serveur web avec un interpréteur php.
+*Emaj_web* nécessite un serveur web avec un interpréteur php et ses extensions *pgsql* et *intl*.
 
 Téléchargement du plug-in
 -------------------------