Follow up r45698 and r45857: Add new options to $wgDefaultUserOptions
authorRaimond Spekking <raymond@users.mediawiki.org>
Wed, 21 Jan 2009 08:02:30 +0000 (08:02 +0000)
committerRaimond Spekking <raymond@users.mediawiki.org>
Wed, 21 Jan 2009 08:02:30 +0000 (08:02 +0000)
commit8f7344e0102ed8294b86567d02e88623c980b943
tree4c957fba70f80abf82f79112d9c12cdeb599da01
parentbd90a56841a620910f05645339e1db476a333a11
Follow up r45698 and r45857: Add new options to $wgDefaultUserOptions
includes/DefaultSettings.php