/**
* Stops the timer.
*
* @param int $timer Valid timer resource.
*
* @return bool Returns true on success and false on failure (if the timer has already been stopped).
* @link https://github.com/tony2001/pinba_engine/wiki/PHP-extension#pinba_timer_stop
*/
function pinba_timer_stop($timer)
{
return pinba::timer_stop($timer);
}
