Merge "API: Account for PHP 7.2 change"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 5 Dec 2017 00:06:19 +0000 (00:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 5 Dec 2017 00:06:20 +0000 (00:06 +0000)
commit847bc2b8d7756c36551a768f5cf0d36bc50705b6
tree713b9b27ca4855335a65869aa6be84394e17fefa
parent09112df015428fcbb7f8112677e3b99a17754d0f
parent9f8626100049a3cd37e23744ed235000c3fef3c8
Merge "API: Account for PHP 7.2 change"