Change-Id: Iae57172138f8887e37ed401b443531259808e678
public static function extractUInt32( $string ) {
return unpack( 'V', $string )[1];
}
public static function extractUInt32( $string ) {
return unpack( 'V', $string )[1];
}
public function fmttime() {
return sprintf( '%5.02f', $this->time );
}
public function fmttime() {
return sprintf( '%5.02f', $this->time );
}
function compare_point( profile_point $a, profile_point $b ) {
// phpcs:ignore MediaWiki.NamingConventions.ValidGlobalName.wgPrefix
function compare_point( profile_point $a, profile_point $b ) {
// phpcs:ignore MediaWiki.NamingConventions.ValidGlobalName.wgPrefix