Translations:Download from Git/37/en


 * In the next commands, replace &lt;EXT> with the name of the extension you want to download, without spaces. For $1, it would be TitleKey. (case sensitive!)