From 89e7dcbdfd6d68f4b1002c47494916fe703ab248 Mon Sep 17 00:00:00 2001
From: Brian Broll <brian.broll@gmail.com>
Date: Tue, 1 Dec 2020 10:22:19 -0600
Subject: [PATCH] Add missing extensions file to index.dev.html. Fixes #2915

---
 index.dev.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/index.dev.html b/index.dev.html
index ddcb0b1d04..01d5cde9c7 100644
--- a/index.dev.html
+++ b/index.dev.html
@@ -18,6 +18,7 @@
         <script type="text/javascript" src="src/polyfill.js"></script>
         <script type="text/javascript" src="src/services.js"></script>
         <script type="text/javascript" src="src/morphic.js"></script>
+        <script type="text/javascript" src="src/extensions.js"></script>
         <script type="text/javascript" src="src/locale.js"></script>
         <script type="text/javascript" src="src/symbols.js"></script>
         <script type="text/javascript" src="src/widgets.js"></script>