Merge "Avoid deprecated IDatabase::getWikiId() reference"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 7 Jul 2018 23:07:45 +0000 (23:07 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 7 Jul 2018 23:07:45 +0000 (23:07 +0000)
commitc07b08b36c73e1f09d19ba384a0fe1e5b77852ba
tree3d94fcc8f614d66430f631bb67c97f67690e183c
parente580dc667181c77259680319e5c01b8a485304a9
parent86dd3b0ac03c1fda97cf4a0055f8f05710659c68
Merge "Avoid deprecated IDatabase::getWikiId() reference"