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 3c0aa26a0da68a9 in June 2013, and the section was
removed from MediaWiki core in ief2c7d1df876fb04.
This is a follow-up to 799e11ca7e
which omitted one occurrence.
Change-Id: I05a6cce89d71808d82c12f54beb6b7a6730b265f
This commit is contained in:
parent
c58103d53e
commit
f8d56e6804
|
@ -230,7 +230,7 @@ class VisualEditorHooks {
|
|||
$preferences['visualeditor-enable'] = array(
|
||||
'type' => 'toggle',
|
||||
'label-message' => 'visualeditor-preference-enable',
|
||||
'section' => 'editing/beta'
|
||||
'section' => 'editing/editor'
|
||||
);
|
||||
}
|
||||
$preferences['visualeditor-betatempdisable'] = array(
|
||||
|
|
Loading…
Reference in a new issue