mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-12 17:18:41 +00:00
150 lines
5.1 KiB
JavaScript
150 lines
5.1 KiB
JavaScript
/*!
|
|
* VisualEditor MediaWiki UserInterface format tool classes.
|
|
*
|
|
* @copyright 2011-2018 VisualEditor Team and others; see AUTHORS.txt
|
|
* @license The MIT License (MIT); see LICENSE.txt
|
|
*/
|
|
|
|
/**
|
|
* MediaWiki UserInterface heading 1 tool.
|
|
*
|
|
* @class
|
|
* @extends ve.ui.Heading1FormatTool
|
|
* @constructor
|
|
* @param {OO.ui.ToolGroup} toolGroup
|
|
* @param {Object} [config] Configuration options
|
|
*/
|
|
ve.ui.MWHeading1FormatTool = function VeUiMWHeading1FormatTool() {
|
|
ve.ui.MWHeading1FormatTool.super.apply( this, arguments );
|
|
};
|
|
OO.inheritClass( ve.ui.MWHeading1FormatTool, ve.ui.Heading1FormatTool );
|
|
ve.ui.MWHeading1FormatTool.static.title =
|
|
OO.ui.deferMsg( 'visualeditor-formatdropdown-format-mw-heading1' );
|
|
ve.ui.MWHeading1FormatTool.static.format = { type: 'mwHeading', attributes: { level: 1 } };
|
|
ve.ui.toolFactory.register( ve.ui.MWHeading1FormatTool );
|
|
|
|
/**
|
|
* MediaWiki UserInterface heading 2 tool.
|
|
*
|
|
* @class
|
|
* @extends ve.ui.Heading2FormatTool
|
|
* @constructor
|
|
* @param {OO.ui.ToolGroup} toolGroup
|
|
* @param {Object} [config] Configuration options
|
|
*/
|
|
ve.ui.MWHeading2FormatTool = function VeUiMWHeading2FormatTool() {
|
|
ve.ui.MWHeading2FormatTool.super.apply( this, arguments );
|
|
};
|
|
OO.inheritClass( ve.ui.MWHeading2FormatTool, ve.ui.Heading2FormatTool );
|
|
ve.ui.MWHeading2FormatTool.static.title =
|
|
OO.ui.deferMsg( 'visualeditor-formatdropdown-format-mw-heading2' );
|
|
ve.ui.MWHeading2FormatTool.static.format = { type: 'mwHeading', attributes: { level: 2 } };
|
|
ve.ui.toolFactory.register( ve.ui.MWHeading2FormatTool );
|
|
|
|
/**
|
|
* MediaWiki UserInterface heading 3 tool.
|
|
*
|
|
* @class
|
|
* @extends ve.ui.Heading3FormatTool
|
|
* @constructor
|
|
* @param {OO.ui.ToolGroup} toolGroup
|
|
* @param {Object} [config] Configuration options
|
|
*/
|
|
ve.ui.MWHeading3FormatTool = function VeUiMWHeading3FormatTool() {
|
|
ve.ui.MWHeading3FormatTool.super.apply( this, arguments );
|
|
};
|
|
OO.inheritClass( ve.ui.MWHeading3FormatTool, ve.ui.Heading3FormatTool );
|
|
ve.ui.MWHeading3FormatTool.static.title =
|
|
OO.ui.deferMsg( 'visualeditor-formatdropdown-format-mw-heading3' );
|
|
ve.ui.MWHeading3FormatTool.static.format = { type: 'mwHeading', attributes: { level: 3 } };
|
|
ve.ui.toolFactory.register( ve.ui.MWHeading3FormatTool );
|
|
|
|
/**
|
|
* MediaWiki UserInterface heading 4 tool.
|
|
*
|
|
* @class
|
|
* @extends ve.ui.Heading4FormatTool
|
|
* @constructor
|
|
* @param {OO.ui.ToolGroup} toolGroup
|
|
* @param {Object} [config] Configuration options
|
|
*/
|
|
ve.ui.MWHeading4FormatTool = function VeUiMWHeading4FormatTool() {
|
|
ve.ui.MWHeading4FormatTool.super.apply( this, arguments );
|
|
};
|
|
OO.inheritClass( ve.ui.MWHeading4FormatTool, ve.ui.Heading4FormatTool );
|
|
ve.ui.MWHeading4FormatTool.static.title =
|
|
OO.ui.deferMsg( 'visualeditor-formatdropdown-format-mw-heading4' );
|
|
ve.ui.MWHeading4FormatTool.static.format = { type: 'mwHeading', attributes: { level: 4 } };
|
|
ve.ui.toolFactory.register( ve.ui.MWHeading4FormatTool );
|
|
|
|
/**
|
|
* MediaWiki UserInterface heading 5 tool.
|
|
*
|
|
* @class
|
|
* @extends ve.ui.Heading5FormatTool
|
|
* @constructor
|
|
* @param {OO.ui.ToolGroup} toolGroup
|
|
* @param {Object} [config] Configuration options
|
|
*/
|
|
ve.ui.MWHeading5FormatTool = function VeUiMWHeading5FormatTool() {
|
|
ve.ui.MWHeading5FormatTool.super.apply( this, arguments );
|
|
};
|
|
OO.inheritClass( ve.ui.MWHeading5FormatTool, ve.ui.Heading5FormatTool );
|
|
ve.ui.MWHeading5FormatTool.static.title =
|
|
OO.ui.deferMsg( 'visualeditor-formatdropdown-format-mw-heading5' );
|
|
ve.ui.MWHeading5FormatTool.static.format = { type: 'mwHeading', attributes: { level: 5 } };
|
|
ve.ui.toolFactory.register( ve.ui.MWHeading5FormatTool );
|
|
|
|
/**
|
|
* MediaWiki UserInterface heading 6 tool.
|
|
*
|
|
* @class
|
|
* @extends ve.ui.Heading6FormatTool
|
|
* @constructor
|
|
* @param {OO.ui.ToolGroup} toolGroup
|
|
* @param {Object} [config] Configuration options
|
|
*/
|
|
ve.ui.MWHeading6FormatTool = function VeUiMWHeading6FormatTool() {
|
|
ve.ui.MWHeading6FormatTool.super.apply( this, arguments );
|
|
};
|
|
OO.inheritClass( ve.ui.MWHeading6FormatTool, ve.ui.Heading6FormatTool );
|
|
ve.ui.MWHeading6FormatTool.static.title =
|
|
OO.ui.deferMsg( 'visualeditor-formatdropdown-format-mw-heading6' );
|
|
ve.ui.MWHeading6FormatTool.static.format = { type: 'mwHeading', attributes: { level: 6 } };
|
|
ve.ui.toolFactory.register( ve.ui.MWHeading6FormatTool );
|
|
|
|
( function () {
|
|
var i;
|
|
for ( i = 1; i <= 6; i++ ) {
|
|
ve.ui.commandRegistry.register(
|
|
new ve.ui.Command(
|
|
'heading' + i, 'format', 'convert',
|
|
{ args: [ 'mwHeading', { level: i } ], supportedSelections: [ 'linear' ] }
|
|
)
|
|
);
|
|
}
|
|
}() );
|
|
|
|
/**
|
|
* MediaWiki UserInterface preformatted tool.
|
|
*
|
|
* @class
|
|
* @extends ve.ui.PreformattedFormatTool
|
|
* @constructor
|
|
* @param {OO.ui.ToolGroup} toolGroup
|
|
* @param {Object} [config] Configuration options
|
|
*/
|
|
ve.ui.MWPreformattedFormatTool = function VeUiMWPreformattedFormatTool() {
|
|
ve.ui.MWPreformattedFormatTool.super.apply( this, arguments );
|
|
};
|
|
OO.inheritClass( ve.ui.MWPreformattedFormatTool, ve.ui.PreformattedFormatTool );
|
|
ve.ui.MWPreformattedFormatTool.static.format = { type: 'mwPreformatted' };
|
|
ve.ui.toolFactory.register( ve.ui.MWPreformattedFormatTool );
|
|
|
|
ve.ui.commandRegistry.register(
|
|
new ve.ui.Command(
|
|
'preformatted', 'format', 'convert',
|
|
{ args: [ 'mwPreformatted' ], supportedSelections: [ 'linear' ] }
|
|
)
|
|
);
|