Merge "Fix PHP7 warning "non well formed numeric value encountered""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 26 Jun 2018 12:27:53 +0000 (12:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 26 Jun 2018 12:27:53 +0000 (12:27 +0000)
commit83fe78707726fb772ff164758f76b2491a5cda16
treea7d266eb64c3483374b7d6a27e999ccb45627e12
parent6638505a857372a29e67c81883ae18e7d0078eb5
parent0a4a274b6255cc543df459f16902c1619697068f
Merge "Fix PHP7 warning "non well formed numeric value encountered""