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

Merge "Remove unneeded show() in WikiEditor toolbar"

Browse source
This commit is contained in:
jenkins-bot 2014-03-22 01:55:19 +00:00 committed by Gerrit Code Review
parent 310ebc0c85 dd46fc383b
commit 4291b563c2
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
modules/jquery.wikiEditor.toolbar.js
View file

@ -61,9 +61,6 @@ api : {
// Tool
$group.append( $.wikiEditor.modules.toolbar.fn.buildTool( context, tool, data[type][tool] ) );
}
if ( $group.children().length ) {
$group.show();
}
smooth = false;
break;
case 'pages':