Translations:Editor/40/en

This is generally run as a gadget or user script, but it is run as an extension on some non-Wikimedia wikis.