From 36a70915313476d1058f1afbd080e2bbfae99796 Mon Sep 17 00:00:00 2001 From: Jelle Raaijmakers Date: Wed, 22 Sep 2021 23:58:01 +0200 Subject: [PATCH] Ports: Remove the now superfluous PHP network patch --- Ports/php/patches/php_network.h.patch | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 Ports/php/patches/php_network.h.patch diff --git a/Ports/php/patches/php_network.h.patch b/Ports/php/patches/php_network.h.patch deleted file mode 100644 index 15a3324b96..0000000000 --- a/Ports/php/patches/php_network.h.patch +++ /dev/null @@ -1,10 +0,0 @@ ---- php-8.0.6/main/php_network.h 2021-05-04 19:26:18.000000000 +0200 -+++ php-8.0.6-patched/main/php_network.h 2021-06-04 01:54:05.976580933 +0200 -@@ -63,6 +63,7 @@ - PHPAPI zend_string *php_socket_error_str(long err); - END_EXTERN_C() - -+#include - #ifdef HAVE_NETINET_IN_H - # include - #endif