K 10
svn:author
V 6
joneum
K 8
svn:date
V 27
2018-10-22T14:04:03.913673Z
K 7
svn:log
V 154
Switch default PHP version from 7.1 to 7.2

PR:		232398
Reviewed by:	joneum
Approved by:	tz (implicit)
Exp-run by:	antoine
Sponsored by:	Netzkommune GmbH

END