wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-28 18:21:02 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Renaming the "Beta" label to "Editor""

Browse source
This commit is contained in:
jenkins-bot 2013-06-30 18:37:33 +00:00 committed by Gerrit Code Review
parent 0c48fa7678 3c0aa26a0d
commit 160d26f1a6
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
WikiEditor.hooks.php
View file

@ -12,7 +12,7 @@ class WikiEditorHooks {
protected static $features = array(
/* Beta Features */
/* Toolbar Features */
'toolbar' => array(
'preferences' => array(
@ -20,7 +20,7 @@ class WikiEditorHooks {
'usebetatoolbar' => array(
'type' => 'toggle',
'label-message' => 'wikieditor-toolbar-preference',
'section' => 'editing/beta',
'section' => 'editing/editor',
),
),
'requirements' => array(
@ -36,7 +36,7 @@ class WikiEditorHooks {
'usebetatoolbar-cgd' => array(
'type' => 'toggle',
'label-message' => 'wikieditor-toolbar-dialogs-preference',
'section' => 'editing/beta',
'section' => 'editing/editor',
),
),
'requirements' => array(
@ -52,7 +52,7 @@ class WikiEditorHooks {
'wikieditor-toolbar-hidesig' => array(
'type' => 'toggle',
'label-message' => 'wikieditor-toolbar-hidesig',
'section' => 'editing/beta',
'section' => 'editing/editor',
),
),
'requirements' => array(