mediawiki-extensions-VisualEditor/modules/ve/ui/tools/buttons/ve.ui.NumberButtonTool.js

/**
 * VisualEditor user interface NumberListButtonTool class.
 *
 * @copyright 2011-2012 VisualEditor Team and others; see AUTHORS.txt
 * @license The MIT License (MIT); see LICENSE.txt
 */

/**
 * Creates an ve.ui.NumberButtonTool object.
 *
 * @class
 * @constructor
 * @extends {ve.ui.ListButtonTool}
 * @param {ve.ui.Toolbar} toolbar
 */
ve.ui.NumberButtonTool = function VeUiNumberListButtonTool( toolbar ) {
	// Parent constructor
	ve.ui.ListButtonTool.call( this, toolbar );
};

/* Inheritance */

ve.inheritClass( ve.ui.NumberButtonTool, ve.ui.ListButtonTool );

/* Static Members */

ve.ui.NumberButtonTool.static.name = 'number';

ve.ui.NumberButtonTool.static.titleMessage = 'visualeditor-listbutton-number-tooltip';

ve.ui.NumberButtonTool.static.style = 'number';

/* Registration */

ve.ui.toolFactory.register( 'number', ve.ui.NumberButtonTool );