* Use User::isLoggedIn(), the proper way to find out if a user is logged in
authorÆvar Arnfjörð Bjarmason <avar@users.mediawiki.org>
Thu, 6 Oct 2005 01:17:08 +0000 (01:17 +0000)
committerÆvar Arnfjörð Bjarmason <avar@users.mediawiki.org>
Thu, 6 Oct 2005 01:17:08 +0000 (01:17 +0000)
commitc2ad58d5456eef6666d7bccaaa81c068ee91eeb0
treec72e24e5064aa8009516d592b1ffa1eb17cc3ee4
parent065fbbdf71efc1e93359f40fed4d89e85b2895e9
* Use User::isLoggedIn(), the proper way to find out if a user is logged in
includes/EditPage.php