mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-12-12 08:35:37 +00:00
da64c43ccc
Bug: T269950 Change-Id: Ifa47ddcbccf288be0bbecd5961eab7c5122aab7b
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';
|
|
}
|
|
}
|