Merge "preprocessDump.php: Fix invalid Preprocessor instantiation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 8 Sep 2019 04:21:32 +0000 (04:21 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 8 Sep 2019 04:21:32 +0000 (04:21 +0000)
commit00ca43d824e11b1a45a2b08b433eb8e927524261
treeb730b17993d895f1e094b6fa3c1c7ebc9ae0c934
parent0477318014b53624c0a2d928adda5309867bdc39
parented6bb98f1c40ef2a2de1a570dd209f7af1d5ea5b
Merge "preprocessDump.php: Fix invalid Preprocessor instantiation"
maintenance/preprocessDump.php