Branch: refs/heads/master Home: https://github.com/phpmyadmin/error-reporting-server Commit: 224aa57288c8cf9204ddf1d0080ab51c604d3615 https://github.com/phpmyadmin/error-reporting-server/commit/224aa57288c8cf92... Author: Michal Čihař <michal@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@cihar.com>