Default is not necessary for toggle fields
authorChad Horohoe <chadh@wikimedia.org>
Thu, 22 Aug 2013 17:05:14 +0000 (10:05 -0700)
committerChad Horohoe <chadh@wikimedia.org>
Thu, 22 Aug 2013 17:42:19 +0000 (10:42 -0700)
commitc8272b39692c0d0e08a3de9c40eefca280a8db7a
tree823c3b02070855631b7fece2271463148eb70e1d
parent33de342acf6f7499df3b7dd741c90470261da631
Default is not necessary for toggle fields

Change-Id: Ia11290431bc19905f744b65b001adc53c023e2ca
includes/Preferences.php