Wähle zuerst im Drop-down-Menü das zu bearbeitende Plugin und klicke dann auf &#8222;Auswählen&#8220;. Anschließend werden auf der rechten Seite alle zum Plugin zugehörigen Dateien angezeigt, die du mit einem Klick auf den jeweiligen Dateinamen bearbeiten kannst. Vergiss nicht, zum Schluss die Änderungen mit einem Klick auf den Button &#8222;Datei aktualisieren&#8220; zu speichern.