From f09e50ba27b5e5bde548551a72171c513ba05e24 Mon Sep 17 00:00:00 2001
From: "max.mehl" <max.mehl@fsfe.org>
Date: Tue, 28 Mar 2017 01:11:24 +0200
Subject: [PATCH] track PHP execution time

---
 static/cgi/sign.php | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/static/cgi/sign.php b/static/cgi/sign.php
index 7cbf6c9..6de4257 100644
--- a/static/cgi/sign.php
+++ b/static/cgi/sign.php
@@ -1,4 +1,5 @@
 <?php
+$timer_start = microtime(true);  // Start counter for PHP execution time tracking
 
 $codemod = 2138367;   // modificator with which the confirmation ID will be obfuscated
 $output = "";
@@ -249,6 +250,11 @@ function show_page($output, $exit) {
   $page = replace_page($page, ':BODY2:', $notice);
   echo $page;
   unset($data);
+  
+  // PHP execution time tracking
+  global $timer_start;
+  echo "<!-- PHP execution time: " . (microtime(true) - $timer_start)*1000 . " ms -->";
+  
   exit($exit);
 }
 ?>