$wgScribuntoUseCodeEditor