[phpmyadmin/phpmyadmin] 1a107a: Upgrade to PHP 7.1 - Git

12 Apr 2018


      Branch: refs/heads/master
  Home:   https://github.com/phpmyadmin/phpmyadmin
  Commit: 1a107ac92e3dfe3de2023d8bd78d22fc26a28b32
      https://github.com/phpmyadmin/phpmyadmin/commit/1a107ac92e3dfe3de2023d8bd78d...
  Author: Maurício Meneghini Fauth mauriciofauth@gmail.com
  Date:   2018-04-11 (Wed, 11 Apr 2018)
Changed paths:
    M .travis.yml
    M ChangeLog
    M composer.json
    M doc/require.rst
    M libraries/common.inc.php
    M scripts/create-release.sh
    M test/Environment_test.php
Log Message:
  -----------
  Upgrade to PHP 7.1
Signed-off-by: Maurício Meneghini Fauth mauriciofauth@gmail.com
Commit: f66f04a987e3a089f015d2bcde9493ec7e78489f
      https://github.com/phpmyadmin/phpmyadmin/commit/f66f04a987e3a089f015d2bcde94...
  Author: Maurício Meneghini Fauth mauriciofauth@gmail.com
  Date:   2018-04-11 (Wed, 11 Apr 2018)
Changed paths:
    M .travis.yml
    M ChangeLog
    M composer.json
    M doc/require.rst
    M libraries/common.inc.php
    M scripts/create-release.sh
    M test/Environment_test.php
Log Message:
  -----------
  Merge pull request #14186 from mauriciofauth/php71
Bump minimum version to PHP 7.1
Compare: https://github.com/phpmyadmin/phpmyadmin/compare/86adefd460a6...f66f04a987e3