[phpMyAdmin Git] [phpmyadmin/error-reporting-server] 224aa5: Test against PHP 7.2 as that is our production set...

[Michal Čihař]

  Branch: refs/heads/master
  Home:   https://github.com/phpmyadmin/error-reporting-server
  Commit: 224aa57288c8cf9204ddf1d0080ab51c604d3615
      https://github.com/phpmyadmin/error-reporting-server/commit/224aa57288c8cf9204ddf1d0080ab51c604d3615
  Author: Michal Čihař <michal at cihar.com>
  Date:   2018-04-18 (Wed, 18 Apr 2018)

  Changed paths:
    M .travis.yml

  Log Message:
  -----------
  Test against PHP 7.2 as that is our production setup now

Signed-off-by: Michal Čihař <michal at cihar.com>