/** * 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); }