Bug#828097: Possible to keep old tidy?

[Kunal Mehta <legoktm@member.fsf.org>]

Hi,

The upgrade of tidy to the newer version breaks what MediaWiki expects
(see test failures:
<https://people.wikimedia.org/~legoktm/tidy-failures.log>), and updating
MediaWiki to be compatible with the newer tidy isn't an option either:
<https://lists.wikimedia.org/pipermail/wikitech-l/2015-August/082845.html>.

So is it possible to keep the older version of tidy around? Preferably
also via the php-tidy library, though I'm not sure exactly how that
integration would work.

Thanks,
-- Kunal

Attachment: signature.asc
Description: OpenPGP digital signature