mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-15 12:00:51 +00:00
13 lines
232 B
PHP
13 lines
232 B
PHP
<?php
|
|
|
|
namespace MediaWiki\Extension\DiscussionTools;
|
|
|
|
class ButtonMenuSelectWidget extends \OOUI\ButtonWidget {
|
|
/**
|
|
* @inheritDoc
|
|
*/
|
|
protected function getJavaScriptClassName() {
|
|
return 'OO.ui.ButtonMenuSelectWidget';
|
|
}
|
|
}
|