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)
1  2 
maintenance/cleanupSpam.php
maintenance/includes/TextPassDumper.php
maintenance/storage/recompressTracked.php

Simple merge