K 10
svn:author
V 2
tz
K 8
svn:date
V 27
2018-12-20T09:42:44.553947Z
K 7
svn:log
V 207
MFH: r481908 r486832

Merge part of r481908 to fix broken port. r481908 contains deletion of
an patch no longer needed. Therefore remove the patch so PHP 7.2.13
builds again.

Approved by:	portmgr (blanket)

END