jsc_01: Ich hatte mich erstmal so beholfen, dass ich die fehlende Datei manuell wieder in das Verzeichnis kopiert hatte.
Re:Later: Vielen Dank für deine Hinweise. Mit deiner Vermutung in Richtung Ark Editor lagst du genau richtig. Ich habe diesen Editor deinstalliert und danach nochmal die genannte Datei: mod_custom.php gelöscht. Und nun funktioniert wieder alles. Vielen Dank für deine Hilfe:)