SpinnerWidget.php

Go to the documentation of this file.

<?php
 
namespace MediaWiki\Widget;
 
class SpinnerWidget {
 
    private $attributes;
    private $content;
 
    public function __construct( array $config = [] ) {
        $size = $config['size'] ?? 'small';
        $type = $config['type'] ?? 'inline';
 
        $this->attributes = [];
 
        if ( isset( $config['id'] ) ) {
            $this->attributes['id'] = $config['id'];
        }
 
        // Initialization
        $this->attributes['class'] = [
            'mw-spinner',
            $size === 'small' ? 'mw-spinner-small' : 'mw-spinner-large',
            $type === 'inline' ? 'mw-spinner-inline' : 'mw-spinner-block',
        ];
 
        $this->content =
            '<div class="mw-spinner-container">' .
                str_repeat( '<div></div>', 12 ) .
            '</div>';
    }
 
    public function toString() {
        return \MediaWiki\Html\Html::rawElement( 'div', $this->attributes, $this->content );
    }
 
    public function __toString() {
        try {
            return $this->toString();
        } catch ( \Exception $ex ) {
            trigger_error( (string)$ex, E_USER_ERROR );
        }
    }
}