From 83419929e4ad2fd90ed523d7571b4189ee108254 Mon Sep 17 00:00:00 2001
From: DrMaxNix <contact@drmaxnix.de>
Date: Tue, 6 Sep 2022 13:40:30 +0200
Subject: [PATCH] :hammer: Load source from `/src`

---
 dev/index.php | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/dev/index.php b/dev/index.php
index ffd89fe..b37e214 100644
--- a/dev/index.php
+++ b/dev/index.php
@@ -53,9 +53,14 @@
 			span.line.stderr-error { color: var(--onedark-red); }
 		</style>
 		
-		<script type="text/javascript">
-			<?php require("../juicescript.js"); ?>
-		</script>
+		<script type="text/javascript"><?php
+			foreach(scandir("../src") as $one_file){
+				if(is_file("../src/" . $one_file)){
+					require("../src/" . $one_file);
+					echo("\n");
+				}
+			}
+		?></script>
 		
 		<script type="text/javascript">
 			var juice_program = <?php echo(json_encode(file_get_contents("juice-program.jce"))); ?>;