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

See Also