obsolete, we have plenty of examples these days

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

diff --git a/maintenance/benchmarkPurge.php b/maintenance/benchmarkPurge.php
index 9f45433..6912768 100644 (file)
--- a/maintenance/benchmarkPurge.php
+++ b/maintenance/benchmarkPurge.php
@@ -47,12 +47,12 @@ function randomTitle() {
 }
 
 if( !$wgUseSquid ) {
-       die( "Squid purge benchmark doesn't do much without squid support on.\n" );
+       wfDie( "Squid purge benchmark doesn't do much without squid support on.\n" );
 } else {
        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 );
        }