From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Thu, 4 Jun 2015 07:31:04 +0200
Subject: Update to MediaWiki 1.25.1

---
 vendor/oojs/oojs-ui/php/widgets/IconWidget.php | 34 ++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 vendor/oojs/oojs-ui/php/widgets/IconWidget.php

(limited to 'vendor/oojs/oojs-ui/php/widgets/IconWidget.php')

diff --git a/vendor/oojs/oojs-ui/php/widgets/IconWidget.php b/vendor/oojs/oojs-ui/php/widgets/IconWidget.php
new file mode 100644
index 00000000..f8273f37
--- /dev/null
+++ b/vendor/oojs/oojs-ui/php/widgets/IconWidget.php
@@ -0,0 +1,34 @@
+<?php
+
+namespace OOUI;
+
+/**
+ * Icon widget.
+ *
+ * See IconElement for more information.
+ */
+class IconWidget extends Widget {
+
+	/* Static properties */
+
+	public static $tagName = 'span';
+
+	/**
+	 * @param array $config Configuration options
+	 */
+	public function __construct( array $config = array() ) {
+		// Parent constructor
+		parent::__construct( $config );
+
+		// Mixins
+		$this->mixin( new IconElement( $this,
+			array_merge( $config, array( 'iconElement' => $this ) ) ) );
+		$this->mixin( new TitledElement( $this,
+			array_merge( $config, array( 'titled' => $this ) ) ) );
+		$this->mixin( new FlaggedElement( $this,
+			array_merge( $config, array( 'flagged' => $this ) ) ) );
+
+		// Initialization
+		$this->addClasses( array( 'oo-ui-iconWidget' ) );
+	}
+}
-- 
cgit v1.2.2