K 10
svn:author
V 2
tz
K 8
svn:date
V 27
2018-09-05T08:04:41.407646Z
K 7
svn:log
V 104
Switch default PHP version from 5.6 to 7.1

PR:		209563
Reviewed by:	tz, Felix Flor
Exp-run by:	antoine

END