php man page for counter_get_value

COUNTER_GET_VALUE(3)													      COUNTER_GET_VALUE(3)

counter_get_value - Get the current value of a counter resource.

SYNOPSIS
       integer counter_get_value (resource  $counter)

DESCRIPTION
       counter_get_value(3) returns the current value of a counter resource.

PARAMETERS
	      o $counter
		- The counter resource to operate on.

RETURN VALUES
       counter_get_value(3) returns an integer.

SEE ALSO 
counter_bump_value(3), counter_reset_value(3).
PHP Documentation Group 												      COUNTER_GET_VALUE(3)