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.
This commit is contained in:
Peter Kokot committed 2019-06-26 23:30:58 +02:00
1 parent cc4134c04e
commit 6ef2f04a75
1 file changed
-4
-4
View File
@@ -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