Extension:AddHTML

From mediawiki.org