From 6ef2f04a7557504c2596c82c5c64240dbc21ec24 Mon Sep 17 00:00:00 2001
From: Peter Kokot <peterkokot@gmail.com>
Date: Wed, 26 Jun 2019 02:36:44 +0200
Subject: [PATCH] Remove unused HAVE_DATE and HAVE_SPL symbols

These two are never defined anymore since PHP 7.4 and can be
considered to have always available date and hash extensions.
---
 main/internal_functions_win32.c | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/main/internal_functions_win32.c b/main/internal_functions_win32.c
index bdd245309e8..88e056f5d8a 100644
--- a/main/internal_functions_win32.c
+++ b/main/internal_functions_win32.c
@@ -112,9 +112,7 @@ static zend_module_entry * const php_builtin_extensions[] = {
 #if HAVE_CTYPE
 	,phpext_ctype_ptr
 #endif
-#if HAVE_DATE
 	,phpext_date_ptr
-#endif
 #if HAVE_FTP
 	,phpext_ftp_ptr
 #endif
@@ -153,9 +151,7 @@ static zend_module_entry * const php_builtin_extensions[] = {
 #if HAVE_XML
 	,phpext_xml_ptr
 #endif
-#if HAVE_SPL
 	,phpext_spl_ptr
-#endif
 #if HAVE_XML && HAVE_XMLREADER
 	,phpext_xmlreader_ptr
 #endif