Update to MediaWiki 1.25.1

1 files changed, 70 insertions, 0 deletions

diff --git a/vendor/oojs/oojs-ui/php/widgets/CheckboxInputWidget.php b/vendor/oojs/oojs-ui/php/widgets/CheckboxInputWidget.php
new file mode 100644
index 00000000..bda09c66
--- /dev/null
+++ b/vendor/oojs/oojs-ui/php/widgets/CheckboxInputWidget.php
@@ -0,0 +1,70 @@
+<?php
+
+namespace OOUI;
+
+/**
+ * Checkbox input widget.
+ */
+class CheckboxInputWidget extends InputWidget {
+
+	/* Properties */
+
+	/**
+	 * Whether the checkbox is selected.
+	 *
+	 * @var boolean
+	 */
+	protected $selected;
+
+	/**
+	 * @param array $config Configuration options
+	 * @param boolean $config['selected'] Whether the checkbox is initially selected
+	 *   (default: false)
+	 */
+	public function __construct( array $config = array() ) {
+		// Parent constructor
+		parent::__construct( $config );
+
+		// Initialization
+		$this->addClasses( array( 'oo-ui-checkboxInputWidget' ) );
+		$this->setSelected( isset( $config['selected'] ) ? $config['selected'] : false );
+	}
+
+	protected function getInputElement( $config ) {
+		$input = new Tag( 'input' );
+		$input->setAttributes( array( 'type' => 'checkbox' ) );
+		return $input;
+	}
+
+	/**
+	 * Set selection state of this checkbox.
+	 *
+	 * @param boolean $state Whether the checkbox is selected
+	 * @chainable
+	 */
+	public function setSelected( $state ) {
+		$this->selected = (bool)$state;
+		if ( $this->selected ) {
+			$this->input->setAttributes( array( 'checked' => 'checked' ) );
+		} else {
+			$this->input->removeAttributes( array( 'checked' ) );
+		}
+		return $this;
+	}
+
+	/**
+	 * Check if this checkbox is selected.
+	 *
+	 * @return boolean Checkbox is selected
+	 */
+	public function isSelected() {
+		return $this->selected;
+	}
+
+	public function getConfig( &$config ) {
+		if ( $this->selected ) {
+			$config['selected'] = $this->selected;
+		}
+		return parent::getConfig( $config );
+	}
+}