-<% else -%>
-require_once($IP .'/extensions/VisualEditor/VisualEditor.php');
-<% end -%>
-
-// Enable by default for everybody
-$wgDefaultUserOptions['visualeditor-enable'] = 1;
-
-// Don't allow users to disable it
-// $wgHiddenPrefs[] = 'visualeditor-enable';