diff options
Diffstat (limited to 'includes/widget/SpinnerWidget.php')
| -rw-r--r-- | includes/widget/SpinnerWidget.php | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/includes/widget/SpinnerWidget.php b/includes/widget/SpinnerWidget.php index 71f26f7521af..4fa3887ae78e 100644 --- a/includes/widget/SpinnerWidget.php +++ b/includes/widget/SpinnerWidget.php @@ -2,6 +2,9 @@ namespace MediaWiki\Widget; +use Exception; +use MediaWiki\Html\Html; + /** * PHP version of jquery.spinner. * @@ -47,7 +50,7 @@ class SpinnerWidget { * @return string HTML serialization */ public function toString() { - return \MediaWiki\Html\Html::rawElement( 'div', $this->attributes, $this->content ); + return Html::rawElement( 'div', $this->attributes, $this->content ); } /** @@ -60,7 +63,7 @@ class SpinnerWidget { public function __toString() { try { return $this->toString(); - } catch ( \Exception $ex ) { + } catch ( Exception $ex ) { trigger_error( (string)$ex, E_USER_ERROR ); } } |