Adjusting PHP version