Search for "ESP8266-ping" name in Arduino IDE libary manager, or get the entire repository zipfile and decompress it in your libraris directory.

An Arduino library for ESP8266/ESP32 WLAN configuration at runtime with the Web interface - Hieromon/AutoConnect ...