Update PHP 7.1 from 7.1.1 to 7.1.2

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

PR:           217109
Submitted by: Jochen Neumeister <joneum@bsdproject.de>
MFH:          2017Q1

lang/php71/Makefile

@@ -2,7 +2,7 @@
 # $FreeBSD$
 
 PORTNAME=	php71
-PORTVERSION=	7.1.1
+PORTVERSION=	7.1.2
 PORTREVISION?=	0
 CATEGORIES?=	lang devel www
 MASTER_SITES=	PHP/distributions

lang/php71/distinfo

@@ -1,3 +1,3 @@
-TIMESTAMP = 1484838908
+TIMESTAMP = 1487144216
-SHA256 (php-7.1.1.tar.xz) = b3565b0c1441064eba204821608df1ec7367abff881286898d900c2c2a5ffe70
+SHA256 (php-7.1.2.tar.xz) = d815a0c39fd57bab1434a77ff0610fb507c22f790c66cd6f26e27030c4b3e971
-SIZE (php-7.1.1.tar.xz) = 12766648
+SIZE (php-7.1.2.tar.xz) = 12780720

lang/php71/pkg-plist

@@ -239,6 +239,7 @@ include/php/main/streams/php_streams_int.h
 include/php/main/win95nt.h
 %%EMBED%%lib/libphp7.so
 lib/php/build/Makefile.global
+lib/php/build/ax_check_compile_flag.m4
 lib/php/build/acinclude.m4
 lib/php/build/config.guess
 lib/php/build/config.sub

security/php71-hash/files/patch-php__hash__sha3.h

@@ -1,11 +0,0 @@
---- php_hash_sha3.h.orig	2016-11-09 03:34:27 UTC
-+++ php_hash_sha3.h
-@@ -20,7 +20,7 @@
- #define PHP_HASH_SHA3_H
- 
- #include "php.h"
--#include "ext/hash/php_hash.h"
-+#include "php_hash.h"
- 
- typedef struct {
- 	unsigned char state[200]; // 5 * 5 * sizeof(uint64)