[phpMyAdmin Git] [phpmyadmin/phpmyadmin] a12911: Fix missing requires for PHP 7.1.3

Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: a12911db24d177bf191644c3a704cbeb2c59c182 https://github.com/phpmyadmin/phpmyadmin/commit/a12911db24d177bf191644c3a704... Author: Maurício Meneghini Fauth <mauricio@fauth.dev> Date: 2019-05-29 (Wed, 05 May 2019) -03:00 Changed paths: M doc/require.rst M test/EnvironmentTest.php Log Message: ----------- Fix missing requires for PHP 7.1.3 Related to commit 71208bab74a8047c912c9e51b31f43c704db1010 Signed-off-by: Maurício Meneghini Fauth <mauricio@fauth.dev>