Last modified: 2011-04-14 15:14:01 UTC
When trying to login into a wiki immediately after clearing all cookies in a browser the access to the $_SESSION variable in line 2111 will fail, since it is not set. Here is the fix: if (isset($_SESSION)) $_SESSION = $session + $_SESSION; else $_SESSION = $session;
Done in r45374
r45374 doesn't look like it'll have any affect whatsoever -- !is_null() and isset() will be returning the same result, so there'll be no change in behavior. If it was wrong before, it's still wrong.
is_null throws notices if the variable is not defined.
So the state of the bug was "already fixed" before r45374, and r45374 was simply a cleanup for a notice warning in the already-existing fix?