jenkins-bot has submitted this change and it was merged.

Change subject: Adjust after changes in core
......................................................................


Adjust after changes in core

I6a6c12a9, Id27555c6.

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

Approvals:
  Hoo man: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/CodeEditor.php b/CodeEditor.php
index aade024..06dae9d 100644
--- a/CodeEditor.php
+++ b/CodeEditor.php
@@ -92,7 +92,6 @@
        ),
        'messages' => array(
                'editsection',
-               'editsection-brackets',
                'savearticle'
        )
 ) + $tpl;
diff --git a/modules/ext.codeEditor.geshi.js b/modules/ext.codeEditor.geshi.js
index 0d65616..34d6bc6 100644
--- a/modules/ext.codeEditor.geshi.js
+++ b/modules/ext.codeEditor.geshi.js
@@ -17,10 +17,10 @@
                                        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) {

-- 
To view, visit https://gerrit.wikimedia.org/r/64371
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I2e93cfffd7b31b090c93f7911e1e45f2a6619371
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/CodeEditor
Gerrit-Branch: master
Gerrit-Owner: Matmarex <[email protected]>
Gerrit-Reviewer: Hoo man <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to