mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-09-26 19:56:49 +00:00
Remove gallery tool from toolbar
It confuses people looking for the media insertion tool. Galleries that are already on the page will still be inspectable. Change-Id: I90609ab7f19fb513c17d9253db30e7ddeaa18436
This commit is contained in:
parent
a7bf8b6a7f
commit
27a400ee62
|
@ -24,5 +24,7 @@ ve.ui.MWGalleryInspectorTool.static.icon = 'gallery';
|
||||||
ve.ui.MWGalleryInspectorTool.static.title =
|
ve.ui.MWGalleryInspectorTool.static.title =
|
||||||
OO.ui.deferMsg( 'visualeditor-mwgalleryinspector-title' );
|
OO.ui.deferMsg( 'visualeditor-mwgalleryinspector-title' );
|
||||||
ve.ui.MWGalleryInspectorTool.static.modelClasses = [ ve.dm.MWGalleryNode ];
|
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.MWGalleryInspectorTool.static.commandName = 'gallery';
|
||||||
ve.ui.toolFactory.register( ve.ui.MWGalleryInspectorTool );
|
ve.ui.toolFactory.register( ve.ui.MWGalleryInspectorTool );
|
||||||
|
|
Loading…
Reference in a new issue