diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2021-08-17 22:53:53 +0200 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2021-08-17 22:53:53 +0200 |
| commit | 1d178e177b785ac4179031a5e5b7a86a7af33947 (patch) | |
| tree | d0098439627a25aad3edfb087ec4e1ee4cf40332 /maintenance/fixTimestamps.php | |
| parent | 4d8c21e2fbff6c6e3009b82e02df03a7e2cf072a (diff) | |
| download | mediawikicore-1d178e177b785ac4179031a5e5b7a86a7af33947.tar.gz mediawikicore-1d178e177b785ac4179031a5e5b7a86a7af33947.zip | |
Remove unneeded continue/return statements
Change-Id: I26f9845b09ecc15de8b6e0213ab369b386194c9d
Diffstat (limited to 'maintenance/fixTimestamps.php')
| -rw-r--r-- | maintenance/fixTimestamps.php | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/maintenance/fixTimestamps.php b/maintenance/fixTimestamps.php index 3e2dd55ff40f..527c97a3d781 100644 --- a/maintenance/fixTimestamps.php +++ b/maintenance/fixTimestamps.php @@ -87,11 +87,9 @@ class FixTimestamps extends Maintenance { // Monotonic change $lastNormal = $timestamp; ++$numGoodRevs; - continue; } elseif ( abs( $delta ) <= $grace ) { // Non-monotonic change within grace interval ++$numGoodRevs; - continue; } else { // Non-monotonic change larger than grace interval $badRevs[] = $row->rev_id; |