From d841459c2e71fd6ff181d6fde32ba1d466898d0f Mon Sep 17 00:00:00 2001
From: MatmaRex <matma.rex@gmail.com>
Date: Fri, 17 May 2013 21:58:56 +0200
Subject: [PATCH] Adjust after changes in core

I6a6c12a9, Id27555c6.

Change-Id: I2e93cfffd7b31b090c93f7911e1e45f2a6619371
---
 CodeEditor.php                  | 1 -
 modules/ext.codeEditor.geshi.js | 6 +++---
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/CodeEditor.php b/CodeEditor.php
index aade0248..06dae9d8 100644
--- a/CodeEditor.php
+++ b/CodeEditor.php
@@ -92,7 +92,6 @@ $wgResourceModules['ext.codeEditor.geshi'] = array(
 	),
 	'messages' => array(
 		'editsection',
-		'editsection-brackets',
 		'savearticle'
 	)
 ) + $tpl;
diff --git a/modules/ext.codeEditor.geshi.js b/modules/ext.codeEditor.geshi.js
index 0d656165..34d6bc6f 100644
--- a/modules/ext.codeEditor.geshi.js
+++ b/modules/ext.codeEditor.geshi.js
@@ -17,10 +17,10 @@ $(function() {
 					event.preventDefault();
 				});
 			var $edit = $('<span>')
-				.css('float', 'right')
-				.append('[')
+				.addClass('mw-editsection')
+				.append('<span class="mw-editsection-bracket">[</span>')
 				.append($link)
-				.append(']'); // @fixme use the editsection-brackets msg
+				.append('<span class="mw-editsection-bracket">]</span>');
 			$div.prepend($edit);
 		};
 		var openEditor = function($div) {