Translations:Extension:HTML Tags/22/en

Then, in the file 'LocalSettings.php' in the main MediaWiki directory, add the following line: