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 , unless stated otherwise.

-

- This page was generated at - -

@@ -141,6 +134,16 @@ $quote_author_arr = [
+

+ This page was generated at + ". + "Generation took ".round((microtime(true) - + $generation_start_time)*1000, 4)." microseconds."; + ?> +

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();