2011-02-16 - production
11:54	<RoanKattouw>	Running fixUsabilityPrefs2.php again, now with wikieditor-% and usenavigabletoc fixes	[production]