2020-07-31 15:34:08 +00:00
|
|
|
/*!
|
|
|
|
|
* VisualEditor MediaWiki UserInterface back tool classes.
|
|
|
|
|
*
|
2023-12-01 16:06:11 +00:00
|
|
|
* @copyright See AUTHORS.txt
|
2020-07-31 15:34:08 +00:00
|
|
|
* @license The MIT License (MIT); see LICENSE.txt
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
/**
|
|
|
|
|
* Back tool
|
|
|
|
|
*/
|
|
|
|
|
ve.ui.MWBackTool = function VeUiMwBackTool() {
|
|
|
|
|
// Parent constructor
|
|
|
|
|
ve.ui.MWBackTool.super.apply( this, arguments );
|
|
|
|
|
};
|
|
|
|
|
OO.inheritClass( ve.ui.MWBackTool, ve.ui.Tool );
|
|
|
|
|
ve.ui.MWBackTool.static.name = 'back';
|
2022-06-15 12:41:44 +00:00
|
|
|
ve.ui.MWBackTool.static.commandName = 'cancel';
|
2020-07-31 15:34:08 +00:00
|
|
|
ve.ui.MWBackTool.static.group = 'navigation';
|
|
|
|
|
ve.ui.MWBackTool.static.icon = 'close';
|
|
|
|
|
ve.ui.MWBackTool.static.title =
|
|
|
|
|
OO.ui.deferMsg( 'visualeditor-backbutton-tooltip' );
|
|
|
|
|
|
2021-06-21 14:33:19 +00:00
|
|
|
ve.ui.toolFactory.register( ve.ui.MWBackTool );
|
