From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 4 Jun 2015 07:31:04 +0200 Subject: Update to MediaWiki 1.25.1 --- includes/htmlform/HTMLSelectNamespace.php | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 includes/htmlform/HTMLSelectNamespace.php (limited to 'includes/htmlform/HTMLSelectNamespace.php') 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 @@ + $value, + 'all' => 'all' + ), array( + 'name' => $this->mName, + 'id' => $this->mID, + 'class' => 'namespaceselector', + ) + ); + } +} -- cgit v1.2.3-54-g00ecf