(k) fix minor glitch in installExtension.php

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

diff --git a/maintenance/benchmarkPurge.php b/maintenance/benchmarkPurge.php
index 45552c1..6912768 100644 (file)
--- a/maintenance/benchmarkPurge.php
+++ b/maintenance/benchmarkPurge.php
@@ -47,7 +47,7 @@ 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";