From 7e94fca7c7a07f94de40ddeb56a3f06e43000e25 Mon Sep 17 00:00:00 2001
From: toasted-nutbread <toasted-nutbread@users.noreply.github.com>
Date: Tue, 26 Nov 2019 17:29:52 -0500
Subject: Rename extension.js to core.js to better reflect its use

---
 ext/fg/float.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ext/fg')

diff --git a/ext/fg/float.html b/ext/fg/float.html
index 73118917..e04c1402 100644
--- a/ext/fg/float.html
+++ b/ext/fg/float.html
@@ -31,7 +31,7 @@
             </div>
         </div>
 
-        <script src="/mixed/js/extension.js"></script>
+        <script src="/mixed/js/core.js"></script>
 
         <script src="/fg/js/api.js"></script>
         <script src="/fg/js/util.js"></script>
-- 
cgit v1.2.3