Code Coverage for /workspace/src/includes/widget/UserInputWidget.php

1	<?php
2
3	namespace MediaWiki\Widget;
4
5	use OOUI\TextInputWidget;
6
7	/**
8	* User input widget.
9	*
10	* @copyright 2011-2015 MediaWiki Widgets Team and others; see AUTHORS.txt
11	* @license MIT
12	*/
13	class UserInputWidget extends TextInputWidget {
14
15	/**
16	* @param array $config Configuration options
17	*/
18	public function __construct( array $config = [] ) {
19	parent::__construct( $config );
20
21	// Initialization
22	$this->addClasses( [ 'mw-widget-userInputWidget' ] );
23	}
24
25	protected function getJavaScriptClassName() {
26	return 'mw.widgets.UserInputWidget';
27	}
28
29	public function getConfig( &$config ) {
30	$config['$overlay'] = true;
31	return parent::getConfig( $config );
32	}
33	}