Merge "Make travis test against PHP 7.2"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 8 Dec 2017 02:18:36 +0000 (02:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 8 Dec 2017 02:18:36 +0000 (02:18 +0000)
commitc529787b553ef2515e30cdda6fd5e334c62db432
tree123ec4e227b422c3953cf87e1724dac7041f5731
parentea121f1fed1a9fb4b1df7703c5265ace704ab633
parentcd43f3f6d6978a0c25eab96439a8d9967034ad35
Merge "Make travis test against PHP 7.2"