{
    "symbol-whitelist" : [
        "getallheaders"
    ],
    "php-core-extensions" : [
        "Core",
        "date",
        "json",
        "pcre",
        "Phar",
        "Reflection",
        "SPL",
        "standard"
    ],
    "scan-files" : []
}