From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Fri, 29 Sep 2017 05:18:09 +0000 (+0000)
Subject: Merge "Revert "DumpFilter is autoloaded. No need to require in maintenance script""
X-Git-Tag: 1.31.0-rc.0~1930
X-Git-Url: http://git.cyclocoop.org/%24dirpuce/puce%24spip_lang_rtl.gif?a=commitdiff_plain;h=ade84360512e737f566f05c6c96d461465878bc3;p=lhc%2Fweb%2Fwiklou.git

Merge "Revert "DumpFilter is autoloaded. No need to require in maintenance script""
---

ade84360512e737f566f05c6c96d461465878bc3