PHP 7.2 shell ist PHP 5.6 ?