From 4f45f81dbf0fa1609174dc0c943a746f23f76aa6 Mon Sep 17 00:00:00 2001
From: viemmsakh <aaron.kyle.h@gmail.com>
Date: Mon, 20 Jun 2016 10:57:59 -0400
Subject: [PATCH] Update to require header.php instead of header.html

---
 index.php   | 2 +-
 list.php    | 2 +-
 queries.php | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/index.php b/index.php
index 8c7b23f9..b388a6a7 100644
--- a/index.php
+++ b/index.php
@@ -1,5 +1,5 @@
 <?php
-    require "header.html";
+    require "header.php";
 ?>
 <!-- Small boxes (Stat box) -->
 <div class="row">
diff --git a/list.php b/list.php
index 0d3ec111..4382981f 100644
--- a/list.php
+++ b/list.php
@@ -1,6 +1,6 @@
 <?php
 session_start();
-require "header.html";
+require "header.php";
 
 $list = $_GET['l'];
 
diff --git a/queries.php b/queries.php
index af951eb5..39d754e5 100644
--- a/queries.php
+++ b/queries.php
@@ -1,5 +1,5 @@
 <?php
-    require "header.html";
+    require "header.php";
 ?>
 
 <!--