Switch default PHP version from 5.6 to 7.1
PR: 209563 Reviewed by: tz, Felix Flor Exp-run by: antoine