From babf3eb9fb3e291dde77d77dd86a6c980a141408 Mon Sep 17 00:00:00 2001
From: Trevor Parscal <tparscal@users.mediawiki.org>
Date: Fri, 2 Dec 2011 22:21:58 +0000
Subject: [PATCH] Made heading labels less verbose

---
 modules/es/tools/es.FormatDropdownTool.js | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/modules/es/tools/es.FormatDropdownTool.js b/modules/es/tools/es.FormatDropdownTool.js
index b8a1ac3c43..c6c64df0b3 100644
--- a/modules/es/tools/es.FormatDropdownTool.js
+++ b/modules/es/tools/es.FormatDropdownTool.js
@@ -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 }
 		},