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

[Maurício Meneghini Fauth]

  Branch: refs/heads/master
  Home:   https://github.com/phpmyadmin/phpmyadmin
  Commit: 1a107ac92e3dfe3de2023d8bd78d22fc26a28b32
      https://github.com/phpmyadmin/phpmyadmin/commit/1a107ac92e3dfe3de2023d8bd78d22fc26a28b32
  Author: Maurício Meneghini Fauth <mauriciofauth at 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 at gmail.com>


  Commit: f66f04a987e3a089f015d2bcde9493ec7e78489f
      https://github.com/phpmyadmin/phpmyadmin/commit/f66f04a987e3a089f015d2bcde9493ec7e78489f
  Author: Maurício Meneghini Fauth <mauriciofauth at 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