Fix ouput_data.php

joanhey · joanhey · commit 3c15e6bfa170 · 2023-07-26T14:10:24.000+02:00
diff --git a/libs/output_data.php b/libs/output_data.php
@@ -1,7 +1,7 @@
 <?php
 
 printf(
-    "\n%' 8d:%f:%d",
+    "\n%' 8d:%f:%'.03d",
     memory_get_peak_usage(),
     microtime(true) - $_SERVER['REQUEST_TIME_FLOAT'],
     count(get_included_files()) - 1
