Add initial set of files

2023-07-06 17:21:49 +02:00
commit 92636f92d1
17 changed files with 2712 additions and 0 deletions
@@ -0,0 +1,5 @@
+<?php
+
+if (file_exists(dirname(__DIR__).'/var/cache/prod/App_KernelProdContainer.preload.php')) {
+    require dirname(__DIR__).'/var/cache/prod/App_KernelProdContainer.preload.php';
+}