jenkins-bot has submitted this change and it was merged.
Change subject: Hygiene: remove unused var
......................................................................
Hygiene: remove unused var
Change-Id: Ic71e83665badbb1d83fc00e4bf287a8f14183219
---
M maintenance/FlowFixUserIp.php
1 file changed, 0 insertions(+), 2 deletions(-)
Approvals:
EBernhardson: Looks good to me, approved
jenkins-bot: Verified
diff --git a/maintenance/FlowFixUserIp.php b/maintenance/FlowFixUserIp.php
index df306d1..b928897 100644
--- a/maintenance/FlowFixUserIp.php
+++ b/maintenance/FlowFixUserIp.php
@@ -36,10 +36,8 @@
$this->storage = $storage = Container::get( 'storage' );
$dbf = Container::get( 'db.factory' );
$dbw = $dbf->getDB( DB_MASTER );
- $hasRun = false;
$runUpdate = function( $callback ) use ( $dbf, $dbw, $storage )
{
- $hasRun = true;
$continue = "\0";
do {
$dbw->begin();
--
To view, visit https://gerrit.wikimedia.org/r/189443
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ic71e83665badbb1d83fc00e4bf287a8f14183219
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Flow
Gerrit-Branch: master
Gerrit-Owner: Matthias Mullie <[email protected]>
Gerrit-Reviewer: EBernhardson <[email protected]>
Gerrit-Reviewer: SG <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
