User::getOption now accept a default value to override default user values
authorAntoine Musso <hashar@users.mediawiki.org>
Thu, 14 Dec 2006 20:28:38 +0000 (20:28 +0000)
committerAntoine Musso <hashar@users.mediawiki.org>
Thu, 14 Dec 2006 20:28:38 +0000 (20:28 +0000)
commit171945efedbf1e7b6810beb71eda94b32c0d9ea6
treeed9cd87c4b3fe052f837c101cb87d0edae9f93ff
parent9f98f8c8a4b3ea7da64b3bb4a8822eb81c709a38
User::getOption now accept a default value to override default user values
this makes it consistent with WebRequest::get* methods. Corrected code in
various places accordingly.
RELEASE-NOTES
includes/ImagePage.php
includes/Skin.php
includes/SpecialPreferences.php
includes/SpecialRecentchanges.php
includes/SpecialRecentchangeslinked.php
includes/SpecialSearch.php
includes/StubObject.php
includes/User.php