diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2022-03-03 22:57:43 +0100 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2022-03-07 20:41:55 +0100 |
| commit | a9aa1e7346b7c18f27cf1f3b4a1d2545f2d337b2 (patch) | |
| tree | ec19aa407a2a16c9a289b6fd869445f20dcfc97d /maintenance/preprocessorFuzzTest.php | |
| parent | fbe222eb4c9cc6e210fd4b4d4a6407a2a64b9f65 (diff) | |
| download | mediawikicore-a9aa1e7346b7c18f27cf1f3b4a1d2545f2d337b2.tar.gz mediawikicore-a9aa1e7346b7c18f27cf1f3b4a1d2545f2d337b2.zip | |
Fix type of value directly passed to php internal functions
Found by phan strict checks
Change-Id: Icc44cd143f2e98fa3ca188e625a3289441de0f73
Diffstat (limited to 'maintenance/preprocessorFuzzTest.php')
| -rw-r--r-- | maintenance/preprocessorFuzzTest.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/maintenance/preprocessorFuzzTest.php b/maintenance/preprocessorFuzzTest.php index e809aadd65d3..d0da45d602db 100644 --- a/maintenance/preprocessorFuzzTest.php +++ b/maintenance/preprocessorFuzzTest.php @@ -93,13 +93,13 @@ class PPFuzzTester { $reportMetric = ( microtime( true ) - $overallStart ) / $i * $reportInterval; if ( $reportMetric > 25 ) { - if ( substr( $reportInterval, 0, 1 ) === '1' ) { + if ( substr( (string)$reportInterval, 0, 1 ) === '1' ) { $reportInterval /= 2; } else { $reportInterval /= 5; } } elseif ( $reportMetric < 4 ) { - if ( substr( $reportInterval, 0, 1 ) === '1' ) { + if ( substr( (string)$reportInterval, 0, 1 ) === '1' ) { $reportInterval *= 5; } else { $reportInterval *= 2; |