mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
28 lines
637 B
JavaScript
28 lines
637 B
JavaScript
/*!
|
|
* VisualEditor UserInterface PushButtonWidget class.
|
|
*
|
|
* @copyright 2011-2013 VisualEditor Team and others; see AUTHORS.txt
|
|
* @license The MIT License (MIT); see LICENSE.txt
|
|
*/
|
|
|
|
/**
|
|
* Creates an ve.ui.PushButtonWidget object.
|
|
*
|
|
* @class
|
|
* @extends ve.ui.ButtonWidget
|
|
*
|
|
* @constructor
|
|
* @param {Object} [config] Configuration options
|
|
*/
|
|
ve.ui.PushButtonWidget = function VeUiPushButtonWidget( config ) {
|
|
// Parent constructor
|
|
ve.ui.ButtonWidget.call( this, config );
|
|
|
|
// Initialization
|
|
this.$.addClass( 've-ui-pushButtonWidget' );
|
|
};
|
|
|
|
/* Inheritance */
|
|
|
|
OO.inheritClass( ve.ui.PushButtonWidget, ve.ui.ButtonWidget );
|