Translations:Editor/7/en

the default MediaWiki editor, which is an HTML $1