Merge "Fix PhpStorm IDE warnings in ServiceWiring.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 4 Sep 2019 00:03:39 +0000 (00:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 4 Sep 2019 00:03:39 +0000 (00:03 +0000)
commite7051c851cc23bf401018277fe75359e214bb34b
treeb420d6917db1a176773d325fdc9e1ac3c5b03c8a
parentcdeb7109f223729fb8fc38e49bf03ac77b747c05
parentb7fce1c2f4a7c1ab715464f91fd9b02a72e549e5
Merge "Fix PhpStorm IDE warnings in ServiceWiring.php"