jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/343808 )
Change subject: Remove erroneous space in unset() call
......................................................................
Remove erroneous space in unset() call
Change-Id: I67cac037aa1db46ef60ae0c321c1394d9a3bd410
---
M includes/specials/SpecialAllPages.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/specials/SpecialAllPages.php
b/includes/specials/SpecialAllPages.php
index fd7bc3f..17f6cca 100644
--- a/includes/specials/SpecialAllPages.php
+++ b/includes/specials/SpecialAllPages.php
@@ -140,7 +140,7 @@
];
if ( $miserMode ) {
- unset ( $fields['hideredirects'] );
+ unset( $fields['hideredirects'] );
}
$form = HTMLForm::factory( 'table', $fields,
$this->getContext() );
--
To view, visit https://gerrit.wikimedia.org/r/343808
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I67cac037aa1db46ef60ae0c321c1394d9a3bd410
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Reedy <re...@wikimedia.org>
Gerrit-Reviewer: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com>
Gerrit-Reviewer: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
