Merge "Revert "DumpFilter is autoloaded. No need to require in maintenance script""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 29 Sep 2017 05:18:09 +0000 (05:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 29 Sep 2017 05:18:09 +0000 (05:18 +0000)
commitade84360512e737f566f05c6c96d461465878bc3
treed9f72640f645890109d41657ea53baed02d8dc51
parentc1d4eeed77b30abc29bc2f38905a88e11914d6ca
parentc4f96e83a5c775409dd0af4d454c0b48d9d191f5
Merge "Revert "DumpFilter is autoloaded. No need to require in maintenance script""