MediaWiki:Gadget-Editor.js/documentation

This actually is not a standalone gadget but rather a library.

This piece of code used to be in the same source as TranslationAdder. It was taken out of it because
 * 1) theoretically one could have translation adder turned off
 * 2) separation of concerns.