https://www.php-resource.de/de/script/PHP-Scripte/Script-Erweiterungen/HTML-Kit-Editor-unteranderem-auch-fuer-PHP_16408