session_module_name: Disallow "user" Value

As of PHP 7.2.0, session_module_name() no longer allows the value user. Instead of silently ignoring the value, it emits an error:

session_module_name('user');

See execution result.

Solution

Because the old behavior was to silently ignore the problem, the statement had no effect. It can therefore be removed.

- session_module_name('user');

Errors or Warnings

• session_module_name(): Argument #1 ($module) cannot be "user"
• session_module_name(): Cannot set 'user' save handler by ini_set() or session_module_name()

See Also

• Changelog of session_module_name