From 3a7e89edbbe50a895c9e9fd2408909e319df1a1c Mon Sep 17 00:00:00 2001
From: Richard Kuhnt <r15ch13+git@gmail.com>
Date: Wed, 1 May 2019 15:00:19 +0000
Subject: [PATCH] php: Update to version 7.3.5

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

diff --git a/bucket/php.json b/bucket/php.json
index 844050d429..faf60c707b 100644
--- a/bucket/php.json
+++ b/bucket/php.json
@@ -4,15 +4,15 @@
         "identifier": "PHP-3.01",
         "url": "https://secure.php.net/license/"
     },
-    "version": "7.3.4",
+    "version": "7.3.5",
     "architecture": {
         "64bit": {
-            "url": "https://windows.php.net/downloads/releases/php-7.3.4-Win32-VC15-x64.zip",
-            "hash": "9cbefeff4d4c07d7bd3f3830edef61ddc9259dcaff2c6dee2cb9bfd44b27f1d9"
+            "url": "https://windows.php.net/downloads/releases/php-7.3.5-Win32-VC15-x64.zip",
+            "hash": "caeb4f4161c7db4c7e5e956eb4dc058b5c595d079bbf581edaa2a6d2f173fac6"
         },
         "32bit": {
-            "url": "https://windows.php.net/downloads/releases/php-7.3.4-Win32-VC15-x86.zip",
-            "hash": "873bd90fd5fff58e3502da732413deb79185a539aae9f7d88d35673f9a961651"
+            "url": "https://windows.php.net/downloads/releases/php-7.3.5-Win32-VC15-x86.zip",
+            "hash": "7bcf80883643f76d70fb7f95850cee7547ec585ad8518ac8274574101b654090"
         }
     },
     "bin": [