Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaurício Meneghini Fauth <mauricio@fauth.dev>2019-05-29 23:32:53 +0300
committerMaurício Meneghini Fauth <mauricio@fauth.dev>2019-05-29 23:32:53 +0300
commita12911db24d177bf191644c3a704cbeb2c59c182 (patch)
tree2aa4a3c1a94997be9c24a54ed2738a17c3bc0b11 /doc/require.rst
parent01c8d422933689abd13c1cf8a1ab5f38a88a6927 (diff)
Fix missing requires for PHP 7.1.3
Related to commit 71208bab74a8047c912c9e51b31f43c704db1010 Signed-off-by: Maurício Meneghini Fauth <mauricio@fauth.dev>
Diffstat (limited to 'doc/require.rst')
-rw-r--r--doc/require.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/require.rst b/doc/require.rst
index 4a6f4a43b8..c9c2a2bbc8 100644
--- a/doc/require.rst
+++ b/doc/require.rst
@@ -12,7 +12,7 @@ web server (such as Apache, nginx, :term:`IIS`) to install phpMyAdmin's files in
PHP
---
-* You need PHP 7.1.0 or newer, with ``session`` support, the Standard PHP Library
+* You need PHP 7.1.3 or newer, with ``session`` support, the Standard PHP Library
(SPL) extension, hash, ctype, and JSON support.
* The ``mbstring`` extension (see :term:`mbstring`) is strongly recommended