Choisissez une extension à modifier dans le menu déroulant et cliquez sur le bouton «&nbsp;Sélectionner&nbsp;». Cliquez une fois sur n’importe quel nom de fichier pour le charger dans l’éditeur, puis faites vos modifications. N’oubliez pas d’enregistrer vos modifications (bouton «&nbsp;Mettre à jour le fichier&nbsp;») quand vous aurez terminé.