php man page for event_buffer_free

EVENT_BUFFER_FREE(3)							 1						      EVENT_BUFFER_FREE(3)

event_buffer_free - Destroy buffered event

SYNOPSIS
       void event_buffer_free (resource  $bevent)

DESCRIPTION
	Destroys the specified buffered event and frees all the resources associated.

PARAMETERS
	      o $bevent
		- Valid buffered event resource.

PHP Documentation Group 												      EVENT_BUFFER_FREE(3)