https://www.php-resource.de/en/script/Coding-Tools/Development-Environments-IDE/Android-App-PHP-Editor-920_17172