2013-05-09 - production
15:26	<anomie>	synchronized wmf-config/InitialiseSettings-labs.php 'Make $wgCodeEditorEnableCore configurable per wiki, prep for bug 39653'	[production]