+ echo "</td></tr>\n";
+
+ if (function_exists('microtime')) {
+ // get script execution time
+ list($usec, $sec) = explode(" ", microtime());
+ $endtime = (float)$sec + (float)$usec;
+ // i18n: ms = short for miliseconds
+ echo '<tr><td><small><b><font color="'.$color[7].'">'.
+ _("Execution time:")."</font></b></small></td></tr>\n".
+ '<tr><td>'.sprintf(_("%s ms"),round((($endtime - $starttime)*1000),3))."</td></tr>\n";
+ }
+
+ echo "</table></div><br />\n";