Hard deprecate $wgTidyConfig['driver'] = 'disabled'
authorC. Scott Ananian <cscott@cscott.net>
Fri, 26 Oct 2018 02:02:47 +0000 (22:02 -0400)
committerC. Scott Ananian <cscott@cscott.net>
Fri, 26 Oct 2018 02:20:49 +0000 (22:20 -0400)
commit661c43f3ebea4256e32fb0523cbc9a7f198b635f
treee4bcd6d8f063068d4ebc4cd79eaa911441a0f621
parenta6a017cea454458216aca5f06251b2e9b86bd9e3
Hard deprecate $wgTidyConfig['driver'] = 'disabled'

This was already deprecated in the release notes, and is not used in
production, but I'd overlooked adding an appropriate hard deprecation
notice in MWTidy::factory() to notify downstream users.

Change-Id: I8f4d8154a1d8a233017f54f0fb4bcfdf4a0373e1
RELEASE-NOTES-1.32
includes/parser/MWTidy.php