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/specials/SpecialCategories.php | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'includes/specials/SpecialCategories.php') diff --git a/includes/specials/SpecialCategories.php b/includes/specials/SpecialCategories.php index 95f9efd2..3a13b7ed 100644 --- a/includes/specials/SpecialCategories.php +++ b/includes/specials/SpecialCategories.php @@ -188,9 +188,11 @@ class CategoryPager extends AlphabeticPager { $this->msg( 'categories' )->text(), Xml::inputLabel( $this->msg( 'categoriesfrom' )->text(), - 'from', 'from', 20, $from ) . + 'from', 'from', 20, $from, array( 'class' => 'mw-ui-input-inline' ) ) . ' ' . - Xml::submitButton( $this->msg( 'allpagessubmit' )->text() + Html::submitButton( + $this->msg( 'allpagessubmit' )->text(), + array(), array( 'mw-ui-progressive' ) ) ) ); -- cgit v1.2.3-54-g00ecf