Translations:Tech:Translating Miraheze extensions/11/en

Translatewiki.net bot will push the $lang.json when the export bot is run.