php 7.3 incompatibilty with ini_set()

[bglass]

Running on php 7.3 (Debian 10) gives the following issue:

PHP Recoverable fatal error: ini_set(): Cannot set 'user' save handler by ini_set() or session_module_name() in /some_path/include/begin.inc.php on line 111

As a workaround, I commented out the call to ini_set in begin.inc.php:111, like this:
if (strtolower(ini_get('session.save_handler')) == 'user' ) { // || ini_set('session.save_handler', 'user')) {

After this modification, everything seems to work fine.

I was inspired by symphonycms/symphonycms#2783, where a contributer wrote:

The solution is to simply delete line 60. Setting a custom save handler is just a matter of using session_set_save_handler(). There is no reason why PHP should ever have allowed the 'user' option to be specified with ini_set.