mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 14:56:20 +00:00
7 lines
188 B
JavaScript
7 lines
188 B
JavaScript
|
es.BoldButtonTool = function() {
|
||
|
|
es.ButtonTool.call( this, toolbar, 'bold' );
|
||
|
|
};
|
||
|
|
|
||
|
|
es.ToolbarView.tools.bold = es.BoldButtonTool;
|
||
|
|
|
||
|
|
es.extendClass( es.BoldButtonTool, es.ButtonTool );
|