K 10
svn:author
V 4
rene
K 8
svn:date
V 27
2020-01-01T19:02:01.594540Z
K 7
svn:log
V 60
MOVED: chase a few PHP 7.1 removals

Reported by:	MOVEDlint

END