Translations:Extension:AutoExtensionLoader/9/en

Thus it simplifies installation of extensions. From now on it's enough to put them into the extension folder. AutoExtensionLoader will then load it!