Merge "Drop wfUsePHP, deprecated in 1.30 and unused"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 10 Oct 2018 23:49:37 +0000 (23:49 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 10 Oct 2018 23:49:37 +0000 (23:49 +0000)
commite2b470409c1890464961ef26464e6094255763f0
treed3501b39d9882caba358f7e68cba869dbb0e68a4
parent57e631b78c111d7451b4ea1e8b44a464bcca1b04
parente52347fc407bd3577f8093a81e8d713f768f4669
Merge "Drop wfUsePHP, deprecated in 1.30 and unused"