Ändern der PHP Version ist ganz einfach

Klicken Sie auf "Erweitert" -> "Entwickler-Tools"

Hier richten Sie die Version danach ein