* Inlinise the only usage of $user in MediaWiki::main()
authorAlexandre Emsenhuber <ialex@users.mediawiki.org>
Mon, 19 Dec 2011 16:05:47 +0000 (16:05 +0000)
committerAlexandre Emsenhuber <ialex@users.mediawiki.org>
Mon, 19 Dec 2011 16:05:47 +0000 (16:05 +0000)
commit9717e5cb18c05c20351986c612fbb46529c20e8d
treecdc6208c35e0d3d5ed96dc4204fd13d85d89b780
parent8126793bbfb3671c9805e206ed0fd5038960e78d
* Inlinise the only usage of $user in MediaWiki::main()
* Change the name of the variable containing the WikiPage object for more consistency
includes/Wiki.php