Merge "Hard deprecate $wgTidyConfig['driver'] = 'disabled'"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 29 Oct 2018 20:59:59 +0000 (20:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 29 Oct 2018 20:59:59 +0000 (20:59 +0000)
commit824936c08f91ed2a75eda63184bb8aa8e600c684
treeef574f18d6a4fafb94feae745b127a9ff19bc21c
parent27dcfd3cb9ac697474b1cee55bdbd1a2a2ebca31
parent661c43f3ebea4256e32fb0523cbc9a7f198b635f
Merge "Hard deprecate $wgTidyConfig['driver'] = 'disabled'"