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.

diff --git a/main/internal_functions_win32.c b/main/internal_functions_win32.c
index bdd245309e83cd1d269f221836022bdfe5428b46..88e056f5d8a2cc8eca8ae9d946eb431207289c36 100644 (file)
--- 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