fix pints

2024-09-02 23:34:03 +05:00
parent 0630647272
commit be39810f62
4 changed files with 9 additions and 1 deletions
--- a/pint.json
+++ b/pint.json
@@ -1,6 +1,9 @@
 {
    "rules": {
-        "no_superfluous_phpdoc_tags": false
+        "no_superfluous_phpdoc_tags": false,
+        "phpdoc_separation": {
+            "skip_unlisted_annotations": true
+        }
    },
    "exclude": [
        "nova"