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