wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-26 19:56:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Made heading labels less verbose

Browse source
This commit is contained in:
Trevor Parscal 2011-12-02 22:21:58 +00:00
parent 667e145706
commit babf3eb9fb
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
modules/es/tools/es.FormatDropdownTool.js
View file

@ -8,37 +8,37 @@ es.FormatDropdownTool = function( toolbar, name ) {
},
{
'name': 'heading-1',
'label': 'Heading Level 1',
'label': 'Heading 1',
'type' : 'heading',
'attributes': { 'level': 1 }
},
{
'name': 'heading-2',
'label': 'Heading Level 2',
'label': 'Heading 2',
'type' : 'heading',
'attributes': { 'level': 2 }
},
{
'name': 'heading-3',
'label': 'Heading Level 3',
'label': 'Heading 3',
'type' : 'heading',
'attributes': { 'level': 3 }
},
{
'name': 'heading-4',
'label': 'Heading Level 4',
'label': 'Heading 4',
'type' : 'heading',
'attributes': { 'level': 4 }
},
{
'name': 'heading-5',
'label': 'Heading Level 5',
'label': 'Heading 5',
'type' : 'heading',
'attributes': { 'level': 5 }
},
{
'name': 'heading-6',
'label': 'Heading Level 6',
'label': 'Heading 6',
'type' : 'heading',
'attributes': { 'level': 6 }
},