jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/395151 )
Change subject: Use OOUI\HiddenInputWidget
......................................................................
Use OOUI\HiddenInputWidget
Bug: T180095
Change-Id: Ifa53ffdfc66f2ff42398d8770376ba164dec5f0a
---
M includes/specials/SpecialMobileOptions.php
1 file changed, 4 insertions(+), 4 deletions(-)
Approvals:
Pmiazga: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/specials/SpecialMobileOptions.php
b/includes/specials/SpecialMobileOptions.php
index 4b8a130..62dc4fe 100644
--- a/includes/specials/SpecialMobileOptions.php
+++ b/includes/specials/SpecialMobileOptions.php
@@ -129,11 +129,11 @@
] );
if ( $user->isLoggedIn() ) {
- $fields[] = new OOUI\HtmlSnippet( Html::hidden(
'token', $user->getEditToken() ) );
+ $fields[] = new OOUI\HiddenInputWidget( [ 'name' =>
'token',
+ 'value' => $user->getEditToken() ] );
}
- $fields[] = new OOUI\HtmlSnippet(
- Html::hidden( 'returnto',
$this->returnToTitle->getFullText() )
- );
+ $fields[] = new OOUI\HiddenInputWidget( [ 'name' => 'returnto',
+ 'value' => $this->returnToTitle->getFullText() ] );
// @codingStandardsIgnoreEnd
$form->appendContent(
--
To view, visit https://gerrit.wikimedia.org/r/395151
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ifa53ffdfc66f2ff42398d8770376ba164dec5f0a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: specialpages
Gerrit-Owner: Jdlrobson <[email protected]>
Gerrit-Reviewer: Pmiazga <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
