https://www.php-resource.de/forum/apps-und-php-script-gesuche/39853-html-online-editor