PHP7.2 Dev mode - session_module_name

[Nuranto]

Hi,

This is not a big issue, but in developer mode, with php 7.2, and <session_save><![CDATA[db]]></session_save> in local.xml we got :

Recoverable Error: session_module_name(): Cannot set 'user' save handler by ini_set() or session_module_name() in /app/code/core/Mage/Core/Model/Session/Abstract/Varien.php on line 83

[ivanweiler]

we'll check it out, thx for reporting

[korostii]

PHP documentation says that the user value is forbidden since 7.2.0 and it seems that it would be okay to simply skip this call.
FYI Symphony ran into a very similar issue, as well: symphonycms/symphonycms#2783 (comment)