From bd18535e1a791d90c6caa37750fb9792bddb61f6 Mon Sep 17 00:00:00 2001
From: Rick van de Loo <rickvandeloo@gmail.com>
Date: Thu, 10 Oct 2019 11:17:29 +0200
Subject: [PATCH] php-7.3 support

allow building for php7.3
---
 package.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.xml b/package.xml
index 0e3efea..fc2e42f 100644
--- a/package.xml
+++ b/package.xml
@@ -32,7 +32,7 @@ php-hypernode 220160309.1
   <required>
    <php>
     <min>5.3.0</min>
-    <max>7.3.0</max>
+    <max>7.4.0</max>
     <exclude>6.0.0</exclude>
    </php>
    <pearinstaller>