Switch to external HtmlFormatter
authorMax Semenik <maxsem.wiki@gmail.com>
Tue, 12 Apr 2016 20:20:20 +0000 (13:20 -0700)
committerBryanDavis <bdavis@wikimedia.org>
Wed, 13 Apr 2016 02:37:59 +0000 (02:37 +0000)
commitff4a3287db7d7681f10fb9c289cd9b84bed5eed6
tree741d3bc83a632f1c83f728b70b50a95bbb0e056b
parenta24e2312c14ab772c65cafd06f909d6a137d53d4
Switch to external HtmlFormatter

wikimedia/html-formatter is already present in mediawiki/vendor
as of 3954ca36ce3cbedc76c1763ad2694320c1327ce6.

Bug: T125001
Change-Id: Ie98096e5e3d325cde583bc66b21b8b41f2bba8b2
composer.json
includes/HtmlFormatter.php
includes/api/ApiHelp.php
tests/phpunit/includes/HtmlFormatterTest.php [deleted file]