jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/382681 )
Change subject: Fix a reported PHP 7.1 incompatibility
......................................................................
Fix a reported PHP 7.1 incompatibility
Bug: T177263
Change-Id: Ibf1870bfe20a01e95e0387e0b75c4a2db8fa72cc
(cherry picked from commit 5cd35b2fed14373152c544f365d608ed4c1c9a23)
---
M tag/PageTranslationHooks.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Nikerabbit: Looks good to me, approved
diff --git a/tag/PageTranslationHooks.php b/tag/PageTranslationHooks.php
index f97df48..7cc352f 100644
--- a/tag/PageTranslationHooks.php
+++ b/tag/PageTranslationHooks.php
@@ -631,7 +631,7 @@
$page = TranslatablePage::isTranslationPage( $title );
if ( $page !== false ) {
- $result[] = 'tpt-patrolling-blocked';
+ $result = [ 'tpt-patrolling-blocked' ];
return false;
}
--
To view, visit https://gerrit.wikimedia.org/r/382681
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ibf1870bfe20a01e95e0387e0b75c4a2db8fa72cc
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Translate
Gerrit-Branch: REL1_30
Gerrit-Owner: MacFan4000 <[email protected]>
Gerrit-Reviewer: Nikerabbit <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
