fremde JavaScript-Dateien zu bearbeiten