as of Drupal 8.0.
\Drupal\Component\Utility\Timer::stop
function timer_stop($name) { return Timer::stop($name); }