/** * Deletes the timer. * * @param int $timer Valid timer resource. * * @return bool Returns true on success and false on failure. * @link https://github.com/tony2001/pinba_engine/wiki/PHP-extension#pinba_timer_delete * @since 0.0.6 */ function pinba_timer_delete($timer) { return pinba::timer_delete($timer); }