Merge "Use https://www.php.net/ instead of https://secure.php.net/"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 12 Apr 2019 14:58:32 +0000 (14:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 12 Apr 2019 14:58:32 +0000 (14:58 +0000)
commitf767110efcffc2da438cff84e50c76256d7a4f15
tree21adb29cae6d1893fcdfec014389f36053611aa6
parent2775ad190c5841d69d7b868f77e47f68a9f53de5
parent9cbb8f104d66b9b1a5497e12cd931a3827f6b5b3
Merge "Use https://php.net/ instead of https://secure.php.net/"