diff options
Diffstat (limited to 'maintenance/getLagTimes.php')
| -rw-r--r-- | maintenance/getLagTimes.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintenance/getLagTimes.php b/maintenance/getLagTimes.php index f9af6cffd02a..f931b460bcf5 100644 --- a/maintenance/getLagTimes.php +++ b/maintenance/getLagTimes.php @@ -68,7 +68,7 @@ class GetLagTimes extends Maintenance { if ( $this->hasOption( 'report' ) ) { $group = ( $type === 'external' ) ? 'external' : $cluster; - $stats->gauge( "loadbalancer.lag.$group.$host", intval( $lag * 1e3 ) ); + $stats->gauge( "loadbalancer.lag.$group.$host", (int)( $lag * 1e3 ) ); } } } |