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