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

Revert "Remove unneeded show() in WikiEditor toolbar"

Browse source 
because apparently we do have empty tools boxes. Alternative
implementation in I4652ade66c6de864ee3e74b3817ed9b93967ce3d

This reverts commit dd46fc383b.

Change-Id: I358c34d63261989d49b0a4156cbc05b544727d5c
This commit is contained in:
Derk-Jan Hartman 2014-03-24 20:24:28 +01:00
parent ab9a363620
commit 39e3676b35
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -61,6 +61,9 @@ 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':