From 74392feae591c102ee50e5f571a41e1f39e7f862 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Zden=C4=9Bk=20Borovec?= <zdenda.borovec@gmail.com>
Date: Mon, 22 Jul 2024 20:38:41 +0200
Subject: [PATCH] Add generation time to footer

---
 docs/common/footer.php | 17 ++++++++++-------
 docs/common/header.php |  3 +++
 2 files changed, 13 insertions(+), 7 deletions(-)

diff --git a/docs/common/footer.php b/docs/common/footer.php
index 985a232..dfb77f5 100755
--- a/docs/common/footer.php
+++ b/docs/common/footer.php
@@ -95,13 +95,6 @@ $quote_author_arr = [
 					Creative Commons Attribution Share Alike license</a>
 					, unless stated otherwise.
 				</p>
-				<p style="position: relative; right: 0;">
-					This page was generated at
-					<?php
-						echo date('Y-m-d\TH:i:s T').
-						" by php/".phpversion()." ".$_SERVER["SERVER_SOFTWARE"];
-					?>
-				</p>
 				<div style="margin-bottom:1em;">
 					<span>
 						<a href="https://my.fsf.org/join?referrer=6692411">
@@ -141,6 +134,16 @@ $quote_author_arr = [
 						</a>
 					</span>
 				</div>
+				<p style="position: relative; right: 0;">
+					This page was generated at
+					<?php
+						echo date('Y-m-d\TH:i:s T').
+							" by php/".phpversion()." ".
+							$_SERVER["SERVER_SOFTWARE"]."<br>".
+							"Generation took ".round((microtime(true) -
+						   	$generation_start_time)*1000, 4)." microseconds.";
+					?>
+				</p>
 			</div>
 		</main>
 	</body>
diff --git a/docs/common/header.php b/docs/common/header.php
index 2c0b857..17b8b44 100755
--- a/docs/common/header.php
+++ b/docs/common/header.php
@@ -11,6 +11,9 @@ if(isset($_COOKIE["PHPSESSID"]))
 	session_start();
 }
 
+// Use this for page generation timing
+$generation_start_time = microtime(true);
+
 // PDO Mysql connection object
 $conn = null;
 attempt_sql_connect();