From 12e159969c4de58d43af2bcf93f367ddc6b7bfe1 Mon Sep 17 00:00:00 2001
From: belisarh <belisar.hoxholli@gmail.com>
Date: Sat, 12 Sep 2015 14:21:15 +0100
Subject: [PATCH] Fixes php.json with PHP 5.6.13

Avoids 404 error on new installs.
---
 php.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/php.json b/php.json
index f23b5d598c..e6b676885b 100644
--- a/php.json
+++ b/php.json
@@ -1,9 +1,9 @@
 {
     "homepage": "http://windows.php.net",
-    "version": "5.6.12",
+    "version": "5.6.13",
     "license": "http://www.php.net/license/",
-    "url": "http://windows.php.net/downloads/releases/php-5.6.12-Win32-VC11-x86.zip",
-    "hash": "sha1:107f91cee686e18c695ebaa633efaabca9149d8c",
+    "url": "http://windows.php.net/downloads/releases/php-5.6.13-Win32-VC11-x86.zip",
+    "hash": "sha1: 4ecd51eb865e5c7c5548aab978664d3e5078f2d8",
     "bin": "php.exe",
     "post_install": "cp \"$dir\\php.ini-production\" \"$dir\\php.ini\"",
     "checkver": {