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