* (bug 11874) Inline CSS with !important no longer borken

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

diff --git a/maintenance/benchmarkPurge.php b/maintenance/benchmarkPurge.php
index 9f45433..0ceb844 100644 (file)
--- a/maintenance/benchmarkPurge.php
+++ b/maintenance/benchmarkPurge.php
@@ -1,8 +1,7 @@
 <?php
 /**
  * Squid purge benchmark script
- * @package MediaWiki
- * @subpackage Maintenance
+ * @addtogroup Maintenance
  */
 
 /** */
@@ -47,12 +46,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 );
        }
@@ -62,4 +61,3 @@ if( !$wgUseSquid ) {
                print "$trial\n";
        }
 }
-?>
\ No newline at end of file