diff options
author | Reedy <reedy@wikimedia.org> | 2024-03-02 22:09:43 +0000 |
---|---|---|
committer | Reedy <reedy@wikimedia.org> | 2024-03-02 23:08:24 +0000 |
commit | 4313b73df6162fb8657558b8e0f83d828b58cc2a (patch) | |
tree | c42c8d5c30be9cb2f30b218069077d2b2aee4bf8 | |
parent | ac194d254a4b23e67cff58d4b9756fa7307a3748 (diff) |
updateCollation: Explicitly cast $scale to int
Bug: T358949
Change-Id: I15c6c95bd2ccc2973465db75453ce6c0bc29b98a
-rw-r--r-- | maintenance/updateCollation.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintenance/updateCollation.php b/maintenance/updateCollation.php index 3dfa27e43af5..8e4bb4ee5ddd 100644 --- a/maintenance/updateCollation.php +++ b/maintenance/updateCollation.php @@ -383,7 +383,7 @@ TEXT $this->output( "Sort key size histogram\nRaw data: $raw\n\n" ); $maxBinVal = max( $coarseHistogram ); - $scale = 60 / $maxBinVal; + $scale = (int)( 60 / $maxBinVal ); $prevBoundary = 0; for ( $coarseIndex = 0; $coarseIndex < $numBins; $coarseIndex++ ) { $val = $coarseHistogram[$coarseIndex] ?? 0; |