How to switch to a higher PHP version?