do not show deleted menuitems

2024-09-23 19:02:17 +02:00 · 2024-09-23 19:02:17 +02:00 · 9e35499269
commit 9e35499269
parent 441568bdb7
3 changed files with 15 additions and 1 deletions
--- a/infection.json5
+++ b/infection.json5
@ -13,7 +13,8 @@
    "mutators": {
        "@default": true,
        "global-ignore": [
-            "App\\Service\\Favicon::__toString"
+            "App\\Service\\Favicon::__toString",
+            "ORM\\Column.*"
        ]
    }
 }