* Adding a space to the sh name so that it breaks across lines

[lhc/web/wiklou.git] / maintenance / benchmarkPurge.php

diff --git a/maintenance/benchmarkPurge.php b/maintenance/benchmarkPurge.php
index 9f45433..45552c1 100644 (file)
--- a/maintenance/benchmarkPurge.php
+++ b/maintenance/benchmarkPurge.php
@@ -52,7 +52,7 @@ if( !$wgUseSquid ) {
        printf( "There are %d defined squid servers:\n", count( $wgSquidServers ) );
        #echo implode( "\n", $wgSquidServers ) . "\n";
        if( isset( $options['count'] ) ) {
-               $lengths = array( IntVal( $options['count'] ) );
+               $lengths = array( intval( $options['count'] ) );
        } else {
                $lengths = array( 1, 10, 100 );
        }