https://www.php-resource.de/en/script/PHP-Scripts/Other-PHP-scripts/phpEditor-new-1-5_15319