From 39b6f5b1313621ed6ab542be97b748e509526114 Mon Sep 17 00:00:00 2001
From: spaghetti <ben@oppaiti.me>
Date: Sun, 8 Jan 2017 08:09:50 +0000
Subject: [PATCH] This should have been in that uninlining commit

---
 design/publicheader.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/design/publicheader.php b/design/publicheader.php
index 2d96b95..2e51fc7 100755
--- a/design/publicheader.php
+++ b/design/publicheader.php
@@ -10,7 +10,7 @@ define('FOOTER_FILE',SERVER_ROOT.'/design/publicfooter.php');
   <link rel="shortcut icon" href="favicon.ico?v=<?=md5_file('favicon.ico');?>" />
   <link href="<?=STATIC_SERVER ?>styles/public/style.css?v=<?=filemtime(SERVER_ROOT.'/static/styles/public/style.css')?>" rel="stylesheet" type="text/css" />
 <?
-  $Scripts = ['jquery', 'script_start', 'ajax.class', 'cookie.class', 'storage.class', 'global'];
+  $Scripts = ['jquery', 'script_start', 'ajax.class', 'cookie.class', 'storage.class', 'global', 'public'];
   foreach($Scripts as $Script) {
     if (($ScriptStats = G::$Cache->get_value("script_stats_$Script")) === false || $ScriptStats['mtime'] != filemtime(SERVER_ROOT.STATIC_SERVER."functions/$Script.js")) {
       $ScriptStats['mtime'] = filemtime(SERVER_ROOT.STATIC_SERVER."functions/$Script.js");