Merge "filebackend: avoid use of wfWikiId() in FileBackendGroup"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 27 Sep 2019 00:13:30 +0000 (00:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 27 Sep 2019 00:13:30 +0000 (00:13 +0000)
commit512b7cd8d73facec6b69047eedf102ae2c38c3d6
tree646db04c09d5e1f052006e9a7675cc2cf0e284ec
parentfa0f6f34972c0e0f4aac24a03b3efdfc45f256f6
parenta775c6888bdecd03cea73f5540a8323b6dcbe78f
Merge "filebackend: avoid use of wfWikiId() in FileBackendGroup"