Index: trunk/index.php
===================================================================
diff -u -N -r5547 -r6428
--- trunk/index.php	(.../index.php)	(revision 5547)
+++ trunk/index.php	(.../index.php)	(revision 6428)
@@ -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