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