archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-15 21:48:51 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Declare ext/session constants in stubs (#9112)

Browse source
This commit is contained in:
Máté Kocsis 2022-07-23 12:32:21 +02:00 • committed by GitHub
parent 98be397776
commit a98560ad3f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 25 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
ext/session/session.c
View file

@ -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;
}

16
ext/session/session.stub.php
View file

@ -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 {}

9
ext/session/session_arginfo.h generated
View file

@ -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;