require_once "$IP/extensions/VisualEditor/VisualEditor.php";
// Enable by default for everybody
-// $wgDefaultUserOptions['visualeditor-enable'] = 1;
+$wgDefaultUserOptions['visualeditor-enable'] = 1;
// Don't allow users to disable it
// $wgHiddenPrefs[] = 'visualeditor-enable';