From: Peter Kokot Date: Wed, 26 Jun 2019 00:36:44 +0000 (+0200) Subject: Remove unused HAVE_DATE and HAVE_SPL symbols X-Git-Tag: php-7.4.0alpha3~173 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=6ef2f04a7557504c2596c82c5c64240dbc21ec24;p=php 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 bdd245309e..88e056f5d8 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