From 278be5c80ea73c4590f648408751239111a5aca3 Mon Sep 17 00:00:00 2001
From: Ubergeek <ubergeek@yourtilde.com>
Date: Mon, 1 Jul 2019 00:35:39 +0000
Subject: [PATCH] Human linting

---
 wiki.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/wiki.php b/wiki.php
index 68022d1..ae923ca 100644
--- a/wiki.php
+++ b/wiki.php
@@ -17,7 +17,7 @@ print "<!DOCTYPE html>
 	<body>";
 echo ( shell_exec("/usr/bin/pandoc $doc_root/includes/header.md") );
 
-print "<hr/>
+print "<hr>
 	<div id='body' style='width: 90%;'>
 		<div id='sidebar' style='width: 20%;float:left;'>";
 echo ( shell_exec("/usr/bin/pandoc $doc_root/includes/sidebar.md") );
@@ -30,7 +30,7 @@ echo ( shell_exec("/usr/bin/pandoc $doc_root/articles/$page.md") );
 print "	</div>
 	</div>
 	<div id='footer' style='clear:both;'>
-	<hr/>";
+	<hr>";
 
 echo ( shell_exec("/usr/bin/pandoc $doc_root/includes/footer.md") );
 
