* New function: User::getBoolOption() that wraps User::getOption, casts its
authorÆvar Arnfjörð Bjarmason <avar@users.mediawiki.org>
Sun, 8 Jan 2006 03:40:48 +0000 (03:40 +0000)
committerÆvar Arnfjörð Bjarmason <avar@users.mediawiki.org>
Sun, 8 Jan 2006 03:40:48 +0000 (03:40 +0000)
commit47bfff1bd8d108a7aacef431f85df32f29c5b701
tree9fc705c956dc8ecadd5b7b699902def2993308bf
parent07205d58f49f70ec914b5e4c7ef483003dde941d
* New function: User::getBoolOption() that wraps User::getOption, casts its
  output to bool and returns it
* Documentation: Documented User::getBoolOption() and User::getOption()
includes/User.php