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

Merge "Add 'element' type for toolbar tools"

Browse source
This commit is contained in:
jenkins-bot 2022-02-11 21:23:49 +00:00 committed by Gerrit Code Review
parent 5c9d867847 2d58366710
commit 4a1caf3390
1 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -428,6 +428,16 @@
);
$select.append( $( '<div>' ).addClass( 'menu' ).append( $options ) );
return $select;
case 'element':
// A raw 'element' type can be {htmlString|Element|Text|Array|jQuery|OO.ui.HTMLSnippet}.
var $element = $( '<div>' )
.attr( { rel: id, class: 'tool tool-element' } );
if ( tool.element instanceof OO.ui.HtmlSnippet ) {
$element.append( tool.element.toString() );
} else {
$element.append( tool.element );
}
return $element;
default:
return null;
}