Remove $wgSessionStarted
authorAlexandre Emsenhuber <mediawiki@emsenhuber.ch>
Sat, 10 May 2014 09:20:07 +0000 (11:20 +0200)
committerAlexandre Emsenhuber <mediawiki@emsenhuber.ch>
Sat, 10 May 2014 14:29:02 +0000 (16:29 +0200)
commitf32f31613c5695be7f450632ed6d93c12430882d
tree52200160961930442ff572631189a70bb4e2d8e6
parentb3615cdf386d11f945af9c9e6b2aa95cefdb422f
Remove $wgSessionStarted

This variable is useless since there is the check "session_id() !== ''"
to do the same, that works correctly if the session has been started
during the request.

Change-Id: I5081e79e30e01c97aa0e59b106cc75e9d1ba951a
includes/Setup.php