Changing of the PHP Version is quite easy

Click on "Advanced" -> "Developer Tools"

Here you setup the version afterwards