mirror of
https://github.com/php/php-src.git
synced 2026-04-01 13:12:16 +02:00
ec50b178f1
The spl dependency is configured so the spl_autoload_register is available when session_start() is used, meaning the spl extension needs to be loaded before the session. It is marked as optional to be more explicit as spl is not directly used nor required in the session extension.
12 lines
467 B
JavaScript
12 lines
467 B
JavaScript
// vim:ft=javascript
|
|
|
|
ARG_ENABLE("session", "session support", "yes");
|
|
|
|
if (PHP_SESSION == "yes") {
|
|
EXTENSION("session", "mod_user_class.c session.c mod_files.c mod_mm.c mod_user.c", false /* never shared */, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1");
|
|
// https://bugs.php.net/53141
|
|
ADD_EXTENSION_DEP('session', 'spl', true);
|
|
AC_DEFINE("HAVE_PHP_SESSION", 1, "Session support");
|
|
PHP_INSTALL_HEADERS("ext/session", "mod_mm.h php_session.h mod_files.h mod_user.h");
|
|
}
|