HtmlFormatter

HtmlFormatter is a PHP library for transforming or filtering MediaWiki HTML output.

It originated from the MobileFrontend extensions and is designed to transform HTML produced by MediaWiki. It is not intended for general use on arbitrary HTML5 input, but may work well for other use cases.

Wikimedia uses this library in the following MediaWiki extensions:
 * MobileFrontend
 * TextExtracts