#0000
- Erweiterung um editor.php mit den serverseitigen Funktionen zur
Bearbeitung von Dateien