MediaWiki
REL1_19
|
00001 <?php 00025 require_once( dirname( __FILE__ ) . '/Benchmarker.php' ); 00026 class bench_wfIsWindows extends Benchmarker { 00027 00028 public function __construct() { 00029 parent::__construct(); 00030 $this->mDescription = "Benchmark for wfIsWindows."; 00031 } 00032 00033 public function execute() { 00034 $this->bench( array( 00035 array( 'function' => array( $this, 'wfIsWindows' ) ), 00036 array( 'function' => array( $this, 'wfIsWindowsCached' ) ), 00037 )); 00038 print $this->getFormattedResults(); 00039 } 00040 00041 static function is_win() { 00042 return substr( php_uname(), 0, 7 ) == 'Windows' ; 00043 } 00044 00045 // bench function 1 00046 function wfIsWindows() { 00047 return self::is_win(); 00048 } 00049 00050 // bench function 2 00051 function wfIsWindowsCached() { 00052 static $isWindows = null; 00053 if( $isWindows == null ) { 00054 $isWindows = self::is_win(); 00055 } 00056 return $isWindows; 00057 } 00058 } 00059 00060 $maintClass = 'bench_wfIsWindows'; 00061 require_once( RUN_MAINTENANCE_IF_MAIN );