Re: [PHP-DEV] Re: undocumented session_name() change

2018-06-05 Thread Yasuo Ohgaki
On Sun, May 27, 2018 at 1:16 AM Christoph M. Becker wrote: > On 25.05.2018 at 12:28, Christoph M. Becker wrote: > > > if ($_GET['action'] == 'newsession') { > >$session_name = getNewSessionName(); // user-defined function > >session_name($session_name); > >session_regenerate_id();

[PHP-DEV] Re: undocumented session_name() change

2018-05-26 Thread Christoph M. Becker
On 25.05.2018 at 12:28, Christoph M. Becker wrote: > if ($_GET['action'] == 'newsession') { >$session_name = getNewSessionName(); // user-defined function >session_name($session_name); >session_regenerate_id(); >header('Location: ' ….); // restart script to use new session name

[PHP-DEV] Re: undocumented session_name() change

2018-05-25 Thread Christoph M. Becker
On 24.05.2018 at 18:16, Lester Caine wrote: > Since Tony is blocked from this list he has posted a BC break on the > PHP-General list ... the main jist of which is that session_name() has > had it's DOCUMENTED functionality changed some time between 7.1.11 and > 7.2.5 In my opinion, the documenta