I noticed a minor item with respect to the use of Tidy on Windows machines.
Windows binaries for PHP usually include Tidy by default. Unlike other
OS versions, the Windows users don't take an active role in including or
excluding Tidy.
In DefaultSettings.php for version 1.12 (looking ahead a bit), I noticed
that the global for internal Tidy is set by testing for the inclusion of
the internal Tidy extension in PHP. Parser.php will perform a check on
whether internal Tidy is available and selects that in preference to
external Tidy. Hence, if LocalSettings.php is set to use Tidy, it gets
internal Tidy by default.
If the admin doesn't realize that internal Tidy is in PHP and/or prefers
to use external Tidy (for whatever reason), he will be surprised that
external is not used unless he explicitly resets the internal Tidy flag
to false.
Personally, I find this a "surprising" default setting. I would expect
the internal Tidy flag to be false by default.
I haven't put this in as a bug, since I'd prefer to see if others think
this is not an issue.
PS - since internal Tidy has been knackered in Parser.php from 1.7 to
1.11 inclusive (it only had PHP4 functions), I assume that internal Tidy
is not something most developers/admins think much about. Hence this
change in Parser.php for 1.12 might not have been thought out in terms
of all OSes being used.
Mike