mediawiki-extensions-InputBox/i18n/to.json