{
    "symbol-whitelist": [
        "null",
        "true",
        "false",
        "static",
        "self",
        "parent",
        "array",
        "string",
        "int",
        "float",
        "bool",
        "iterable",
        "callable",
        "mixed",
        "void",
        "object",
        "socketConnector",
        "hasTlsAlpnSupport",
        "hasTlsSecurityLevelSupport",
        "fromResourceLocal",
        "fromResourcePeer",
        "fromString",
        "SOCKET_EAGAIN",
        "SOCKET_ECONNREFUSED",
        "SOCKET_ETIMEDOUT",
        "Amp\\Socket\\Internal\\CONNECTION_BUSY",
        "Amp\\Socket\\Internal\\CONNECTION_REFUSED",
        "Amp\\Socket\\Internal\\CONNECTION_TIMEOUT"
    ],
    "php-core-extensions": [
        "Core",
        "date",
        "pcre",
        "Phar",
        "Reflection",
        "SPL",
        "standard",
        "hash"
    ]
}