Fix storage of settings with no defaults -- treat the default as null and do not...
authorAndrew Garrett <werdna@users.mediawiki.org>
Fri, 24 Apr 2009 07:58:23 +0000 (07:58 +0000)
committerAndrew Garrett <werdna@users.mediawiki.org>
Fri, 24 Apr 2009 07:58:23 +0000 (07:58 +0000)
commit8aa7ce82bc43455b909a60972d6859d34ddf0f4e
treeb69b6ec8aa281f01e080197a9321bcf10ffddb73
parentba1fef9b55c64528f4f7f5a74f9802e614ca3af3
Fix storage of settings with no defaults -- treat the default as null and do not store if the setting is false or null (but DO store if it is zero)
includes/User.php