Translations:Manual:Extension registration/140/en

For this, you generally check, if the extension is loaded, rather than adding it as a hard dependency.