php-extension-check/box.json

{
    "base-path": null,
    "output": "build/extension-check.phar",
    "chmod": "0700",
    "files": [
        "config/serviceManager.php"
    ]
  }