Bug #77384 [Com]: Unable to change Session Save Handler to "user"

Edit report at https://bugs.php.net/bug.php?id=77384&edit=1 ID: 77384 Comment by: info at dreamtimeshop dot com Reported by: info at dreamtimeshop dot com Summary: Unable to change Session Save Handler to "user" Status: Open Type: Bug Package: Session related Operating System: Windows, Linux PHP Version: 7.2.0 Block user comment: N Private report: N New Comment: 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. Previous Comments: ------------------------------------------------------------------------ [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