Upgrade ci to standardized pipeline

2026-08-18 01:57:13 +00:00 · 2022-08-27 12:51:20 +02:00
parent 407c40dcfb
commit 863ec23a9e
9 changed files with 3884 additions and 275 deletions
@@ -0,0 +1,15 @@
+{
+  "symbol-whitelist" : [
+    "null", "true", "false",
+    "static", "self", "parent",
+    "array", "string", "int", "float", "bool", "iterable", "callable", "void", "object", "XSLTProcessor"
+  ],
+  "php-core-extensions" : [
+    "Core",
+    "pcre",
+    "Reflection",
+    "tokenizer",
+    "SPL",
+    "standard"
+  ]
+}