Merge "Type hint against interface for LoadBalancer in MediaWikiServices"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 2 Jul 2019 01:08:10 +0000 (01:08 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 2 Jul 2019 01:08:10 +0000 (01:08 +0000)
commit512ed8d0b97d2405e5e06e78ca0bca62ff5a166e
tree500bc1f871f22199cc73bb79c4ea4ecc638ab73b
parent9b460b64cdb6115c04abfc794b57fa925a27896d
parentc5cdcd10db0a4ec518567f358ae532a660f174cd
Merge "Type hint against interface for LoadBalancer in MediaWikiServices"
includes/MediaWikiServices.php