Merge "Throw exception if php-curl is missing"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 2 Feb 2018 16:58:28 +0000 (16:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 2 Feb 2018 16:58:28 +0000 (16:58 +0000)
commit4e1868f7704f2ab526adf607b3ca544045e00624
tree52436fc7b2fea822b0aa63875370b99c30d1e9dc
parent649a040378d893ecb2535527b9992a4f11fbdc73
parent708875ab329eca4537d47441571b46762d36393c
Merge "Throw exception if php-curl is missing"