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