jenkins-bot has submitted this change and it was merged.
Change subject: Special:Categories: Use mediawiki.ui classes and fix layout
......................................................................
Special:Categories: Use mediawiki.ui classes and fix layout
Bug: 71146
Change-Id: I96c684f6f7b352afd368624d814761f359e7b551
---
M includes/specials/SpecialCategories.php
1 file changed, 8 insertions(+), 2 deletions(-)
Approvals:
Jdlrobson: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/specials/SpecialCategories.php
b/includes/specials/SpecialCategories.php
index 95f9efd..371cd9f 100644
--- a/includes/specials/SpecialCategories.php
+++ b/includes/specials/SpecialCategories.php
@@ -180,6 +180,10 @@
}
public function getStartForm( $from ) {
+ $submitClassName = '';
+ if ( $this->getConfig( 'UseMediaWikiUIEverywhere' ) ) {
+ $submitClassName = 'mw-ui-button mw-ui-progressive';
+ }
return Xml::tags(
'form',
array( 'method' => 'get', 'action' => wfScript() ),
@@ -188,9 +192,11 @@
$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()
+ Xml::submitButton(
+ $this->msg(
'allpagessubmit' )->text(),
+ array( 'class' =>
$submitClassName )
)
)
);
--
To view, visit https://gerrit.wikimedia.org/r/162147
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I96c684f6f7b352afd368624d814761f359e7b551
Gerrit-PatchSet: 4
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Prtksxna <[email protected]>
Gerrit-Reviewer: Jdlrobson <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
