MediaWiki REL1_37
|
PHP version of jquery.spinner. More...
Public Member Functions | |
__construct (array $config=[]) | |
__toString () | |
Magic method implementation. | |
toString () | |
Render element into HTML. | |
Private Attributes | |
$attributes | |
$content | |
PHP version of jquery.spinner.
If used with jquery.spinner.styles, can be used to show a spinner before JavaScript has loaded.
Definition at line 14 of file SpinnerWidget.php.
MediaWiki\Widget\SpinnerWidget::__construct | ( | array | $config = [] | ) |
array | $config | Configuration options |
Definition at line 22 of file SpinnerWidget.php.
References $type.
MediaWiki\Widget\SpinnerWidget::__toString | ( | ) |
Magic method implementation.
Copied from OOUI\Tag
Definition at line 60 of file SpinnerWidget.php.
References MediaWiki\Widget\SpinnerWidget\toString().
MediaWiki\Widget\SpinnerWidget::toString | ( | ) |
Render element into HTML.
Definition at line 49 of file SpinnerWidget.php.
Referenced by MediaWiki\Widget\SpinnerWidget\__toString().
|
private |
Definition at line 16 of file SpinnerWidget.php.
|
private |
Definition at line 17 of file SpinnerWidget.php.