Issue #2210127 by Jeremy: properly use Drupal timers.