Merge "resourceloader: Add wgWikiID to mw.config in the startup module"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 3 Sep 2019 18:39:32 +0000 (18:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 3 Sep 2019 18:39:32 +0000 (18:39 +0000)
commit3f67d38778da9f142f93e048bd5bbd6d1739a773
tree8a28f0bb7ef0166bb910b69f617f98eadd1cfba5
parentcb5acb42ce62b2d600dfb4e11a2982602b670a2f
parentd45baf7f0734a2506c77925064f42bc13e1bff5e
Merge "resourceloader: Add wgWikiID to mw.config in the startup module"