HtmlFormatter

HtmlFormatter is a PHP library that allows to modify and filter HTML, including turning it into plain text. Originating in MobileFrontend, it is not intended for general use (as in, HTML not generated by MediaWiki's parser), but will work well for many use cases. Currently, the following extensions depend on it:
 * MobileFrontend
 * CirrusSearch
 * TextExtracts