mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-09-24 02:38:40 +00:00
Move VisualEditor disabling from now-scrapped preferences section
'editing/beta' section stopped being used by anything other than VisualEditor in Id8b9a47a in June 2013, and the section was removed from MediaWiki core in I76667a15cc today. Change-Id: Ida16f714c28c46d552b92c05b07b63f5d6dd361e
This commit is contained in:
parent
486e9cbbed
commit
799e11ca7e
|
@ -236,7 +236,7 @@ class VisualEditorHooks {
|
|||
$preferences['visualeditor-betatempdisable'] = array(
|
||||
'type' => 'toggle',
|
||||
'label-message' => 'visualeditor-preference-betatempdisable',
|
||||
'section' => 'editing/beta'
|
||||
'section' => 'editing/editor'
|
||||
);
|
||||
return true;
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue