https://www.php-resource.de/en/script/Coding-Tools/Development-Environments-IDE/phpDesigner-7_17084