Docs For Class PHP_Shell_Extensions

$end_time =

[line 8]

Access: protected

Type:

mixed

[ Top ]

$exec_time =

[line 7]

Access: protected

Type:

mixed

[ Top ]

$parse_time =

[line 6]

Access: protected

Type:

mixed

[ Top ]

$show_exectime = false

[line 4]

Access: protected

Type:

mixed

[ Top ]

getExecTime [line 49]

void getExecTime(
)

Access: public

[ Top ]

getParseTime [line 45]

void getParseTime(
)

Access: public

[ Top ]

isShow [line 53]

void isShow(
)

Access: public

[ Top ]

optSetExecTime [line 16]

void optSetExecTime(

$key, 
$val)

Access: public

Parameters:

	`$key`	—
	`$val`	—

[ Top ]

register [line 10]

void register(
)

Access: public

[ Top ]

startExecTime [line 38]

void startExecTime(
)

Access: public

[ Top ]

startParseTime [line 34]

void startParseTime(
)

Access: public

[ Top ]

stopTime [line 41]

void stopTime(
)

Access: public

[ Top ]

Class: PHP_Shell_Extensions_ExecutionTime

Class Overview

Variables

Methods

Inherited Variables

Inherited Methods

Class Details

Class Variables

$end_time =

$exec_time =

$parse_time =

$show_exectime = false

Method Detail

getExecTime [line 49]

getParseTime [line 45]

isShow [line 53]

optSetExecTime [line 16]

Parameters:

register [line 10]

startExecTime [line 38]

startParseTime [line 34]

stopTime [line 41]