MFH: r443434

Update PHP 7 from 7.0.19 to 7.0.20

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

Approved by: ports-secteam (miwi)