K 10
svn:author
V 2
tz
K 8
svn:date
V 27
2018-12-19T09:10:11.727781Z
K 7
svn:log
V 145
MFH: r486833

lang/php72: Upgrade from 7.2.12 to 7.2.13

Changelog: http://www.php.net/ChangeLog-7.php#7.2.13

Approved by:	ports-secteam (miwi)

END