Index: branches/unlabeled/unlabeled-1.21.2/index.php =================================================================== diff -u -r6114 -r6257 --- branches/unlabeled/unlabeled-1.21.2/index.php (.../index.php) (revision 6114) +++ branches/unlabeled/unlabeled-1.21.2/index.php (.../index.php) (revision 6257) @@ -15,9 +15,9 @@ //print_pre(get_included_files()); -function getmicrotime() -{ - list($usec, $sec) = explode(" ", microtime()); - return ((float)$usec + (float)$sec); -} +function getmicrotime() +{ + list($usec, $sec) = explode(" ", microtime()); + return ((float)$usec + (float)$sec); +} ?> \ No newline at end of file