Revert "Convert mwdoc-filter.php to Maintenance", rm wfShellWikiCmd
authorMatthew Flaschen <mflaschen@wikimedia.org>
Thu, 4 May 2017 00:04:29 +0000 (20:04 -0400)
committerKrinkle <krinklemail@gmail.com>
Thu, 4 May 2017 00:15:22 +0000 (00:15 +0000)
commitb510edbda103b98bb08f8293bd460c0839880f3f
tree4b76a9f46bd93ce1db6a4f839345ec91f10e13f1
parentb046971f932bb513cb9686efae9ee5fa83f69705
Revert "Convert mwdoc-filter.php to Maintenance", rm wfShellWikiCmd

Revert a58948d64 and instead remove wfShellWikiCmd and escape
shell arguments directly.

This should be fine since mwdoc-filter.php does not depend on per-wiki
state.

Change-Id: Id9c6ca84bab827675b71ca16bf688fd3f5c993a1
autoload.php
maintenance/mwdoc-filter.php
maintenance/mwdocgen.php