silence session_start when multiple sessions are started at once (e.g. loading a...

diff --git a/includes/User.php b/includes/User.php
index 71b96ea..509183d 100644 (file)
--- a/includes/User.php
+++ b/includes/User.php
@@ -144,7 +144,7 @@ class User {
                }
                session_set_cookie_params( 0, $wgCookiePath, $wgCookieDomain );
                session_cache_limiter( "private, must-revalidate" );
-               session_start();
+               @session_start();
        }
 
        /* static */ function loadFromSession()