(bug 924) $wgDefaultUserOptions to set the preference defaults from LocalSettings
authorBrion Vibber <brion@users.mediawiki.org>
Sun, 21 Nov 2004 07:51:41 +0000 (07:51 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Sun, 21 Nov 2004 07:51:41 +0000 (07:51 +0000)
commit77653c7df3f19641b558d4edf45fb42f3b9101af
tree56be1dcfd00dbd44a91412684468be2e9f6d7196
parent426099ce51cf7f59721a771732419320ef3880a9
(bug 924) $wgDefaultUserOptions to set the preference defaults from LocalSettings
includes/DefaultSettings.php
includes/User.php