jenkins-bot has submitted this change and it was merged.
Change subject: Small lint fix.
......................................................................
Small lint fix.
Change-Id: If0f54fbc14261c7497d7fda351cf887ddb81db88
---
M src/MultiStringReplacer.php
1 file changed, 2 insertions(+), 1 deletion(-)
Approvals:
Ori.livneh: Looks good to me, approved
jenkins-bot: Verified
diff --git a/src/MultiStringReplacer.php b/src/MultiStringReplacer.php
index 54d87f9..ee1ace0 100644
--- a/src/MultiStringReplacer.php
+++ b/src/MultiStringReplacer.php
@@ -87,7 +87,8 @@
$lastInsert = 0;
foreach ( $matches as $offset => $match ) {
if ( $offset >= $lastInsert ) {
- $buf .= substr( $text, $lastInsert, $offset -
$lastInsert ) . $this->replacePairs[$match];
+ $buf .= substr( $text, $lastInsert, $offset -
$lastInsert );
+ $buf .= $this->replacePairs[$match];
$lastInsert = $offset +
$this->searchKeywords[$match];
}
}
--
To view, visit https://gerrit.wikimedia.org/r/217456
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If0f54fbc14261c7497d7fda351cf887ddb81db88
Gerrit-PatchSet: 1
Gerrit-Project: AhoCorasick
Gerrit-Branch: master
Gerrit-Owner: Ori.livneh <o...@wikimedia.org>
Gerrit-Reviewer: Ori.livneh <o...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
