Merge "Migrate various callers away from wfWikiId() to WikiMap"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 12 Jul 2019 17:33:51 +0000 (17:33 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 12 Jul 2019 17:33:51 +0000 (17:33 +0000)
commit1cc50ab8f5f94c753781a875fa91e9fea7a9dcc9
tree2188e92d926baf464478abca87082d12c11abcbd
parent318306ed1771d7ce6b6b8d7042ac0f3e3330eede
parent7710afe5690b76a4161b9c040f81be340384e8c6
Merge "Migrate various callers away from wfWikiId() to WikiMap"
includes/Storage/DerivedPageDataUpdater.php
maintenance/createAndPromote.php
maintenance/update.php