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