Wikimedia\Parsoid\Config\Profile Class Reference

Records time profiling information. More...

Public Member Functions
	start ()
	end ()
	pushNestedProfile (Profile $p)
	bumpTimeUse (string $resource, float $time, string $cat=null)
	Update a profile timer.
	bumpMWTime (string $resource, float $time, string $cat=null)
	Update profile usage for "MW API" requests.
	bumpCount (string $resource, int $n=1)
	Update a profile counter.
	print ()

Public Attributes
	$startTime
	$endTime

Detailed Description

Records time profiling information.

Member Function Documentation

bumpCount()

Wikimedia\Parsoid\Config\Profile::bumpCount	(	string	$resource,
		int	$n = 1 )

Update a profile counter.

Parameters

string	$resource
int	$n	The amount to increment the counter; defaults to 1.

bumpMWTime()

Wikimedia\Parsoid\Config\Profile::bumpMWTime	(	string	$resource,
		float	$time,
		string	$cat = null )

Update profile usage for "MW API" requests.

Parameters

string	$resource
float	$time	Time in milliseconds
string | null	$cat

bumpTimeUse()

Wikimedia\Parsoid\Config\Profile::bumpTimeUse	(	string	$resource,
		float	$time,
		string	$cat = null )

Update a profile timer.

Parameters

string	$resource
float	$time	Time in milliseconds
string | null	$cat

---

The documentation for this class was generated from the following file:

• src/Config/Profile.php