This great module works fine with release 4.6.3 with a small change

This is a backport to the released timer functionality:

function devel_timer() {
 global $timer;

  list($usec, $sec) = explode(' ', microtime());
  $stop = (float)$usec + (float)$sec;
  $diff =  round(($stop - $timer),6) ;
 return t(' Page execution time was %time S.', array('%time' => $diff));
}