Convert mwdoc-filter.php to Maintenance class so --wiki works
authorMatthew Flaschen <mflaschen@wikimedia.org>
Wed, 3 May 2017 02:02:06 +0000 (22:02 -0400)
committerKrinkle <krinklemail@gmail.com>
Wed, 3 May 2017 03:35:36 +0000 (03:35 +0000)
commita58948d64595af2accdec5b2e5f5156f3f40abe8
tree88bf4a6002e4f5d66941d6c41984b594661982be
parent36053c23ec2ffa810c2927446e7db045820c9014
Convert mwdoc-filter.php to Maintenance class so --wiki works

Change-Id: Ie2fc4109bc2e7a23a6549d9705be44cf2eb858b9
autoload.php
maintenance/mwdoc-filter.php