Translations:Manual:CheckExtensions.php/3/es