Merge "Fix some PHPDoc type hints in DatabaseMysqli"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 7 Aug 2017 18:53:26 +0000 (18:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 7 Aug 2017 18:53:26 +0000 (18:53 +0000)
commit79ef473a2f558438c6846d046afe2e31db042722
treedd03e551ffde561695d46ad3f0f2154937aba128
parent1d744e2899d0094ed2590721e63e8d217cb039ac
parent3cda08749cd7ea0628047f5989f55d136f7a4927
Merge "Fix some PHPDoc type hints in DatabaseMysqli"