HTTPClient.h: No such file or directory

[Toby-Cheung]

I have included the library using platform.io Library manager and ran into the compilation problem.

Error message:
In file included from .pio/libdeps/wifi_client/ArduinoWebsockets/src/tiny_websockets/internals/ws_common.hpp:35,
from .pio/libdeps/wifi_client/ArduinoWebsockets/src/tiny_websockets/message.hpp:3,
from .pio/libdeps/wifi_client/ArduinoWebsockets/src/ArduinoWebsockets.h:4,
from src/wifi_client.cpp:6:
.pio/libdeps/wifi_client/ArduinoWebsockets/src/tiny_websockets/network/esp32/esp32_tcp.hpp:12:10: fatal error: HTTPClient.h: No such file or directory