$wgDefaultUserOptions: Difference between revisions