Update PHP to 7.2#11440

filips123 wants to merge 1 commit intoeclipse-che:mastereclipse-che/che:masterfrom

filips123:patch-1filips123/che:patch-1Copy head branch name to clipboard