Last modified: 2008-02-02 00:17:58 UTC
In version 1.12, the initialization of $wgTidyInternal in DefaultSettings.php is based on detecting the presence of Tidy. In all previous PHP5 versions of Mediawiki, this variable has defaulted to false. With the new version, a Windows version using internal Tidy with PHP5 (the standard for PHP5 binaries for Windows) will default to true. If the administrator is upgrading from 1.11 or earlier, this automatic enabling of Tidy can cause problems with some page rendering, especially if certain types of templates are used. To be consistent, $wgTidyInternal should continue to default to false.
Defaulting the use of internal tidy to true when an internal tidy is present seems like very desirable behavior. Note that tidy itself would continue to be off by default.
I've added a note about this to RELEASE-NOTES in r30412