From 44a0aabd634a6a076dc463c2b38368c26a5afb0a Mon Sep 17 00:00:00 2001
From: Denis Kisselev <denisk@uvic.ca>
Date: Tue, 23 Jul 2013 13:40:08 -0700
Subject: [PATCH] Added Date/Time of last modification to header

---
 libs/functions.php | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/libs/functions.php b/libs/functions.php
index ab6b437..f2856a1 100644
--- a/libs/functions.php
+++ b/libs/functions.php
@@ -104,7 +104,19 @@ function load_page($tree) {
 	if (isset($branch['type']) && $branch['type'] == 'file') {
 		$html = '';
 		if ($branch['name'] !== 'index') {
-			$html .= '<div class="page-header"><h1>'. $branch['title'] . '</h1></div>';
+			$html .= '<div class="page-header">';
+			$html .= '<h1>'. $branch['title'] . '</h1>';
+
+			// Show last modified time for docs. Needs to be cleaned up and use template colours.
+			$modified = filemtime($branch['path']);
+			$html .= '<span style="float: left; font-size: 10px; color: gray;">';
+			$html .= date ("l, F j, Y", $modified);
+			$html .= '</span><span style="float: right; font-size: 10px; color: gray;">';
+			$html .= date ("g:i A", $modified);
+			$html .= '</span>';
+
+			$html .= '</div>';
+
 		}
 		$html .= MarkdownExtended(file_get_contents($branch['path']));
 		return $html;