thomascube
2009-06-09 533e8602c0be3aed7becc74002c58a7d1cf400c3
program/include/main.inc
@@ -1024,8 +1024,7 @@
 */
function rcube_timer()
  {
  list($usec, $sec) = explode(" ", microtime());
  return ((float)$usec + (float)$sec);
  return microtime(true);
  }