Add phpbenchmarks/stats

steevanb · steevanb · commit 14222a839f61 · 2017-12-12T16:41:49.000+01:00
diff --git a/helloworld.php b/helloworld.php
@@ -1,3 +1,5 @@
 <?php
 
 echo 'Hello World !';
+
+// require phpbenchmarks stats.php here when needed
diff --git a/rest.php b/rest.php
@@ -57,3 +57,5 @@ function encodeType(CommentType $type)
 }
 
 echo json_encode($data);
+
+// require phpbenchmarks stats.php here when needed

-Original file line number
+Diff line change
@@ @@ -1,3 +1,5 @@ @@
 <?php
 echo 'Hello World !';
++
 +// require phpbenchmarks stats.php here when needed
Original file line number	Diff line number	Diff line change
`@@ -57,3 +57,5 @@ function encodeType(CommentType $type)`
`57`	`57`	`}`
`58`	`58`
`59`	`59`	`echo json_encode($data);`
	`60`	`+`
	`61`	`+// require phpbenchmarks stats.php here when needed`