diff --git a/ext/session/session.c b/ext/session/session.c
index e691742c462..505347186e9 100644
--- a/ext/session/session.c
+++ b/ext/session/session.c
@@ -2825,9 +2825,7 @@ static PHP_MINIT_FUNCTION(session) /* {{{ */
 	/* Register base class */
 	php_session_class_entry = register_class_SessionHandler(php_session_iface_entry, php_session_id_iface_entry);
 
-	REGISTER_LONG_CONSTANT("PHP_SESSION_DISABLED", php_session_disabled, CONST_CS | CONST_PERSISTENT);
-	REGISTER_LONG_CONSTANT("PHP_SESSION_NONE", php_session_none, CONST_CS | CONST_PERSISTENT);
-	REGISTER_LONG_CONSTANT("PHP_SESSION_ACTIVE", php_session_active, CONST_CS | CONST_PERSISTENT);
+	register_session_symbols(module_number);
 
 	return SUCCESS;
 }
diff --git a/ext/session/session.stub.php b/ext/session/session.stub.php
index 19c2f84dc86..246c02f1c9f 100644
--- a/ext/session/session.stub.php
+++ b/ext/session/session.stub.php
@@ -2,6 +2,22 @@
 
 /** @generate-class-entries */
 
+/**
+ * @var int
+ * @cvalue php_session_disabled
+ */
+const PHP_SESSION_DISABLED = UNKNOWN;
+/**
+ * @var int
+ * @cvalue php_session_none
+ */
+const PHP_SESSION_NONE = UNKNOWN;
+/**
+ * @var int
+ * @cvalue php_session_active
+ */
+const PHP_SESSION_ACTIVE = UNKNOWN;
+
 /** @refcount 1 */
 function session_name(?string $name = null): string|false {}
 
diff --git a/ext/session/session_arginfo.h b/ext/session/session_arginfo.h
index f38313c2e25..4627d9eaece 100644
--- a/ext/session/session_arginfo.h
+++ b/ext/session/session_arginfo.h
@@ -1,5 +1,5 @@
 /* This is a generated file, edit the .stub.php file instead.
- * Stub hash: 27358fb446398ea651c62abb29c81589a37df028 */
+ * Stub hash: f64e67d8e955bc14c03dfd884dd9e5f7f047dc44 */
 
 ZEND_BEGIN_ARG_WITH_RETURN_TYPE_MASK_EX(arginfo_session_name, 0, 0, MAY_BE_STRING|MAY_BE_FALSE)
 	ZEND_ARG_TYPE_INFO_WITH_DEFAULT_VALUE(0, name, IS_STRING, 1, "null")
@@ -230,6 +230,13 @@ static const zend_function_entry class_SessionHandler_methods[] = {
 	ZEND_FE_END
 };
 
+static void register_session_symbols(int module_number)
+{
+	REGISTER_LONG_CONSTANT("PHP_SESSION_DISABLED", php_session_disabled, CONST_CS | CONST_PERSISTENT);
+	REGISTER_LONG_CONSTANT("PHP_SESSION_NONE", php_session_none, CONST_CS | CONST_PERSISTENT);
+	REGISTER_LONG_CONSTANT("PHP_SESSION_ACTIVE", php_session_active, CONST_CS | CONST_PERSISTENT);
+}
+
 static zend_class_entry *register_class_SessionHandlerInterface(void)
 {
 	zend_class_entry ce, *class_entry;