make sure ext/standard is down before ext/session (fixes #38534)

diff --git a/ext/standard/basic_functions.c b/ext/standard/basic_functions.c
index 1a528eb831ac8f8741b6a1eee5c4042838ae65af..9d2d25808b0a460f8278bf5170b0c53409ed410f 100644 (file)
--- a/ext/standard/basic_functions.c
+++ b/ext/standard/basic_functions.c
@@ -3803,8 +3803,15 @@ zend_function_entry basic_functions[] = {
        {NULL, NULL, NULL}
 };
 
+static zend_module_dep standard_deps[] = {
+       ZEND_MOD_OPTIONAL("session")
+       {NULL, NULL, NULL}
+};
+
 zend_module_entry basic_functions_module = {
-    STANDARD_MODULE_HEADER,
+    STANDARD_MODULE_HEADER_EX,
+       NULL,
+       standard_deps,
        "standard",                                     /* extension name */
        basic_functions,                        /* function list */
        PHP_MINIT(basic),                       /* process startup */