JSON_POST_ERROR, json_post.onerror.* INI, warning

[m6w6/ext-json_post] / scripts / gen_github_workflow_ci.php

diff --git a/scripts/gen_github_workflow_ci.php b/scripts/gen_github_workflow_ci.php
index 3c7761b8926a274aeb00676f6542b064bfd72a6e..dd068db3fade157f426a1b0dde859a3e06cf70bf 100755 (executable)
--- a/scripts/gen_github_workflow_ci.php
+++ b/scripts/gen_github_workflow_ci.php
@@ -17,6 +17,7 @@ $job = $gen->github([
        "PHP" => ["5.6", "7.0", "7.1", "7.2", "7.3", "7.4"],
        "enable_debug" => "yes",
        "enable_maintainer_zts" => "yes",
+       "enable_json" => "yes",
 ], 
 "master" => [
        "PHP" => "master",