jenkins-bot has submitted this change and it was merged.
Change subject: Quick fix fuzzy.php: getArg takes index, convert input to array
......................................................................
Quick fix fuzzy.php: getArg takes index, convert input to array
Change-Id: Ia0dcd178039d55dbe179af7ea1d83da892f52932
---
M scripts/fuzzy.php
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Siebrand: Looks good to me, approved
jenkins-bot: Verified
diff --git a/scripts/fuzzy.php b/scripts/fuzzy.php
index 5f8fce1..dcfd121 100644
--- a/scripts/fuzzy.php
+++ b/scripts/fuzzy.php
@@ -48,7 +48,7 @@
}
public function execute() {
- $bot = new FuzzyScript( $this->getArg( 'messages' ) );
+ $bot = new FuzzyScript( $this->getArg( 0 ) );
if ( $this->hasOption( 'skiplanguages' ) ) {
$bot->skipLanguages = array_map(
@@ -115,7 +115,7 @@
* @param string[] $titles
*/
public function __construct( $titles ) {
- $this->titles = $titles;
+ $this->titles = (array)$titles;
$this->allclear = true;
}
--
To view, visit https://gerrit.wikimedia.org/r/90756
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia0dcd178039d55dbe179af7ea1d83da892f52932
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/Translate
Gerrit-Branch: master
Gerrit-Owner: Nikerabbit <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
