'Special-case optimization' seems to be already included in User::getId, in a smarter...
authorRotem Liss <rotem@users.mediawiki.org>
Thu, 27 Dec 2007 17:04:17 +0000 (17:04 +0000)
committerRotem Liss <rotem@users.mediawiki.org>
Thu, 27 Dec 2007 17:04:17 +0000 (17:04 +0000)
commit405c1c356c15633e070ca0dc6bf5bde6f436d201
tree78acb9283b6678c9c2c83e4ee164ed9769de5b4c
parentd00da352d0aae125a64049d969ec016b43a56443
'Special-case optimization' seems to be already included in User::getId, in a smarter way; it shouldn't be done in User::isLoggedIn too.
includes/SpecialUserrights.php
includes/User.php