Coding part of ESP8266

You need Ivan Grokhotkov's ESP8266 Arduino core. It contains the examples you need.