Use $wgRequest to get and set session items instead of $_SESSION (as for cookies)
authorAlexandre Emsenhuber <ialex@users.mediawiki.org>
Wed, 23 Feb 2011 17:54:02 +0000 (17:54 +0000)
committerAlexandre Emsenhuber <ialex@users.mediawiki.org>
Wed, 23 Feb 2011 17:54:02 +0000 (17:54 +0000)
commit3381453178d56df8dedc97effc50de0f780cc2df
treee8e3cdffd00b31ac612ae8471f92293d74b03a0e
parent1db4e51ea8aa214209a6c522e2b655888c185246
Use $wgRequest to get and set session items instead of $_SESSION (as for cookies)
includes/User.php