Merge "Replace wfWiki() usage with WikiMap in some additional places"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 23 Jul 2019 15:02:47 +0000 (15:02 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 23 Jul 2019 15:02:47 +0000 (15:02 +0000)
commit9d37c792b2ee408b6a01b43a1a649e6074c11c34
tree6ca0f6e4c18e4952c72b8a8f8557a4f65a8ef68c
parentded74c4ee8e9c8b34059285fc3e1b54956c80ae5
parent12531d2ae6960c053d7382faf2403e2ae2e5b1f0
Merge "Replace wfWiki() usage with WikiMap in some additional places"
maintenance/cleanupSpam.php
maintenance/includes/TextPassDumper.php
maintenance/storage/recompressTracked.php