Translations:Extension:HTML Tags/15/en

You can also download the code directly via Git from the MediaWiki source code repository.