Translations:Extension:VEForAll/9/en

You can also download the code directly via Git from the MediaWiki source code repository.