Merge "Change Database type hints to use IDatabase"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 7 Apr 2019 09:13:34 +0000 (09:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 7 Apr 2019 09:13:34 +0000 (09:13 +0000)
commit603740b43b9c787813e2e2b1b4bb82d1cd83ef1f
tree1b7c71a0cc9155b6e8e1ccaf80eb649b9f2c1008
parent682fb5758c79ce485b301d11db46c22344deef49
parentdeaf6b0e5d4bd659f5f0ec112133f53eba84c03f
Merge "Change Database type hints to use IDatabase"
includes/Title.php