From 2e7a16f5c6e45f8dbb5bc13a3fa53ef1164b488f Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Wed, 10 May 2017 00:01:11 +0200
Subject: [PATCH] Update php to version 7.1.5

---
 php.json | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/php.json b/php.json
index 30b41009c9..81d7388bcb 100644
--- a/php.json
+++ b/php.json
@@ -1,15 +1,15 @@
 {
     "homepage": "http://windows.php.net",
-    "version": "7.1.4",
+    "version": "7.1.5",
     "license": "http://www.php.net/license/",
     "architecture": {
         "64bit": {
-            "url": "http://windows.php.net/downloads/releases/php-7.1.4-Win32-VC14-x64.zip",
-            "hash": "sha1:559082f7e6f415f4cef742e0c7a67af95343f83c"
+            "url": "http://windows.php.net/downloads/releases/php-7.1.5-Win32-VC14-x64.zip",
+            "hash": "sha1:fbb252cc617fe6d64fc14e9cb8a75639b51bb800"
         },
         "32bit": {
-            "url": "http://windows.php.net/downloads/releases/php-7.1.4-Win32-VC14-x86.zip",
-            "hash": "sha1:2cfb741506b86fbcd5cc438ed4b1bee1f4044636"
+            "url": "http://windows.php.net/downloads/releases/php-7.1.5-Win32-VC14-x86.zip",
+            "hash": "sha1:615623145a671589b8012d4f0e9f26c9c955a773"
         }
     },
     "bin": [