Update to MediaWiki 1.25.1

1 files changed, 18 insertions, 0 deletions

diff --git a/includes/htmlform/HTMLSelectNamespace.php b/includes/htmlform/HTMLSelectNamespace.php
new file mode 100644
index 00000000..96381062
--- /dev/null
+++ b/includes/htmlform/HTMLSelectNamespace.php
@@ -0,0 +1,18 @@
+<?php
+/**
+ * Wrapper for Html::namespaceSelector to use in HTMLForm
+ */
+class HTMLSelectNamespace extends HTMLFormField {
+	function getInputHTML( $value ) {
+		return Html::namespaceSelector(
+			array(
+				'selected' => $value,
+				'all' => 'all'
+			), array(
+				'name' => $this->mName,
+				'id' => $this->mID,
+				'class' => 'namespaceselector',
+			)
+		);
+	}
+}