Bug #77384 [Opn->Fbk]: Unable to change Session Save Handler to "user"

Edit report at https://bugs.php.net/bug.php?id=77384&edit=1 ID: 77384 Updated by: nikic@php.net Reported by: info at dreamtimeshop dot com Summary: Unable to change Session Save Handler to "user" -Status: Open +Status: Feedback Type: Bug Package: Session related Operating System: Windows, Linux PHP Version: 7.2.0 Block user comment: N Private report: N New Comment: Yes, the exact version here is not really important, just that this was first introduced in 7.2. But ... I don't really get what this bug is about. I'm not a session expert, but isn't the "user" save handler set by calling session_set_save_handler()? What would it even mean to use the "user" handler without calling session_set_save_handler()? I expect that this was an intentional change to prevent exactly this kind of code. Previous Comments: ------------------------------------------------------------------------ [2019-01-04 12:06:51] info at dreamtimeshop dot com It affects both newest PHP 7.2 (7.2.13) and 7.3 (7.3.0). Not only "7.2.0"! Exactly same code works flawlessly under PHP 7.1.25 and older. ------------------------------------------------------------------------ [2018-12-30 23:31:04] info at dreamtimeshop dot com Description: ------------ In the PHP 7.2 and 7.3, there is not possible to set "user" as Session Save Handler. 1) unable to set it in php.ini: The php.ini file includes line "session.save_handler = user". phpinfo() says: "Registered save handlers: files user" but below always shows "files" as current handler. 2) unable to change it in the scripts: None ot those two pssibilities work: session_module_name('user'); ini_set('session.save_handler', 'user'); Both of them throw a "Recoverable fatal error" which says "Cannot set 'user' save handler by ini_set() or session_module_name()"... Tested on CentOS and Windows 10 with PHP 7.2.13 and PHP 7.3.0. Older versions incl. PHP 7.1.15 are working as expected. Test script: --------------- <?php session_module_name('user'); ini_set('session.save_handler', 'user'); ?> Expected result: ---------------- (nothing) Actual result: -------------- Recoverable fatal error: session_module_name(): Cannot set 'user' save handler by ini_set() or session_module_name() in ... ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=77384&edit=1