Translations:Manual:CheckExtensions.php/1/de