improved patching

This commit is contained in:
Luca Haid
2025-04-09 21:35:02 +02:00
parent 17c47d75ad
commit 3d7bc55302
5 changed files with 477 additions and 186 deletions

View File

@@ -75,6 +75,11 @@
<?php endforeach; ?>
<?php endif; ?>
<?php if(isset($additionalHead) && is_array($additionalHead) && count($additionalHead)):
foreach($additionalHead as $head): ?>
<?=$head?>
<?php endforeach; endif;?>
<?php if(MFAPPNAME == "devthetool"): ?>
<style type="text/css">
body {