Merge "travis: Add PHP 7.3 (allowed failure)"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 19 Dec 2018 04:49:21 +0000 (04:49 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 19 Dec 2018 04:49:21 +0000 (04:49 +0000)
commitd4254e0c4d7de1adb1a4f58fe09e7fe3af85dbb5
tree04c467a393d602d5375663e30006d826beef7929
parentc5dadfae968aff5a8d03919734dbaf9c118d0ed8
parenta8f5d0dee84cebf6295e0039d6766ca7d038744d
Merge "travis: Add PHP 7.3 (allowed failure)"