0
0

🔨 Load source from /src

This commit is contained in:
DrMaxNix 2022-09-06 13:40:30 +02:00
parent 1fb40f6233
commit 83419929e4

View File

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