wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-23 23:03:46 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Adjust after changes in core"

Browse source
This commit is contained in:
jenkins-bot 2013-07-04 22:03:07 +00:00 committed by Gerrit Code Review
parent b670511574 d841459c2e
commit 63ff4e1750
2 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
CodeEditor.php
View file

@ -92,7 +92,6 @@ $wgResourceModules['ext.codeEditor.geshi'] = array(
),
'messages' => array(
'editsection',
'editsection-brackets',
'savearticle'
)
) + $tpl;

6
modules/ext.codeEditor.geshi.js
View file

@ -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) {