diff options
author | Maurício Meneghini Fauth <mauricio@fauth.dev> | 2019-05-29 23:32:53 +0300 |
---|---|---|
committer | Maurício Meneghini Fauth <mauricio@fauth.dev> | 2019-05-29 23:32:53 +0300 |
commit | a12911db24d177bf191644c3a704cbeb2c59c182 (patch) | |
tree | 2aa4a3c1a94997be9c24a54ed2738a17c3bc0b11 /doc/require.rst | |
parent | 01c8d422933689abd13c1cf8a1ab5f38a88a6927 (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.rst | 2 |
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 |