MFH: r440913

Update PHP 7 from 7.0.18 to 7.0.19

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

Also remove the patch from devel/php70-gettext
which isn't needed anymore.

Approved by: portmgr (miwi)