Optimize User::getID() for special cases, and User::isLoggedIn() generally (the latte...
authorAryeh Gregor <simetrical@users.mediawiki.org>
Mon, 23 Jul 2007 19:39:53 +0000 (19:39 +0000)
committerAryeh Gregor <simetrical@users.mediawiki.org>
Mon, 23 Jul 2007 19:39:53 +0000 (19:39 +0000)
commit5ac50ed94d1b2d1199c89f7312609513d85d1e3f
tree88d84ee2b7e6ea62cd6b6ac6a5a612c2c0ae34f6
parent483d9b22ce3ff0bf4de2e901dfd1e3b8cf862a20
Optimize User::getID() for special cases, and User::isLoggedIn() generally (the latter seems to have always required a database query in the past, when in fact it never should).
includes/User.php