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