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;
Version: 1.13.x
Severity: minor