mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-11 05:56:11 +00:00
0ffd654bed
Change-Id: Ic469ebda2c061dc7da0b4c1625f43a7be55da4fa
30 lines
1.2 KiB
JavaScript
30 lines
1.2 KiB
JavaScript
/*!
|
|
* VisualEditor Experimental MediaWiki UserInterface alien extension tool class.
|
|
*
|
|
* @copyright 2011-2014 VisualEditor Team and others; see AUTHORS.txt
|
|
* @license The MIT License (MIT); see LICENSE.txt
|
|
*/
|
|
|
|
/**
|
|
* MediaWiki UserInterface alien extension tool.
|
|
*
|
|
* @class
|
|
* @extends ve.ui.InspectorTool
|
|
* @constructor
|
|
* @param {OO.ui.ToolGroup} toolGroup
|
|
* @param {Object} [config] Configuration options
|
|
*/
|
|
ve.ui.MWAlienExtensionInspectorTool = function VeUiMWAlienExtensionInspectorTool( toolGroup, config ) {
|
|
ve.ui.InspectorTool.call( this, toolGroup, config );
|
|
};
|
|
OO.inheritClass( ve.ui.MWAlienExtensionInspectorTool, ve.ui.InspectorTool );
|
|
ve.ui.MWAlienExtensionInspectorTool.static.name = 'alienExtension';
|
|
ve.ui.MWAlienExtensionInspectorTool.static.group = 'object';
|
|
ve.ui.MWAlienExtensionInspectorTool.static.icon = 'alienextension';
|
|
ve.ui.MWAlienExtensionInspectorTool.static.titleMessage =
|
|
'visualeditor-mwalienextensioninspector-title';
|
|
ve.ui.MWAlienExtensionInspectorTool.static.inspector = 'alienExtension';
|
|
ve.ui.MWAlienExtensionInspectorTool.static.modelClasses = [ ve.dm.MWAlienExtensionNode ];
|
|
ve.ui.MWAlienExtensionInspectorTool.static.autoAdd = false;
|
|
ve.ui.toolFactory.register( ve.ui.MWAlienExtensionInspectorTool );
|