mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 00:30:44 +00:00
27a400ee62
It confuses people looking for the media insertion tool. Galleries that are already on the page will still be inspectable. Change-Id: I90609ab7f19fb513c17d9253db30e7ddeaa18436
31 lines
1.2 KiB
JavaScript
31 lines
1.2 KiB
JavaScript
/*!
|
|
* VisualEditor MediaWiki UserInterface gallery tool class.
|
|
*
|
|
* @copyright 2011-2014 VisualEditor Team and others; see AUTHORS.txt
|
|
* @license The MIT License (MIT); see LICENSE.txt
|
|
*/
|
|
|
|
/**
|
|
* MediaWiki UserInterface gallery tool.
|
|
*
|
|
* @class
|
|
* @extends ve.ui.InspectorTool
|
|
* @constructor
|
|
* @param {OO.ui.ToolGroup} toolGroup
|
|
* @param {Object} [config] Configuration options
|
|
*/
|
|
ve.ui.MWGalleryInspectorTool = function VeUiMWGalleryInspectorTool( toolGroup, config ) {
|
|
ve.ui.InspectorTool.call( this, toolGroup, config );
|
|
};
|
|
OO.inheritClass( ve.ui.MWGalleryInspectorTool, ve.ui.InspectorTool );
|
|
ve.ui.MWGalleryInspectorTool.static.name = 'gallery';
|
|
ve.ui.MWGalleryInspectorTool.static.group = 'object';
|
|
ve.ui.MWGalleryInspectorTool.static.icon = 'gallery';
|
|
ve.ui.MWGalleryInspectorTool.static.title =
|
|
OO.ui.deferMsg( 'visualeditor-mwgalleryinspector-title' );
|
|
ve.ui.MWGalleryInspectorTool.static.modelClasses = [ ve.dm.MWGalleryNode ];
|
|
ve.ui.MWGalleryInspectorTool.static.autoAddToGroup = false;
|
|
ve.ui.MWGalleryInspectorTool.static.autoAddToCatchall = false;
|
|
ve.ui.MWGalleryInspectorTool.static.commandName = 'gallery';
|
|
ve.ui.toolFactory.register( ve.ui.MWGalleryInspectorTool );
|