It is the correct module you are using... you can check that by looking at the config values - ports / pins used to control ESP8266-ESP12 in the EspruinoWifi.js module and the schematics of Espruino-Wifi.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
It is the correct module you are using... you can check that by looking at the config values - ports / pins used to control ESP8266-ESP12 in the EspruinoWifi.js module and the schematics of Espruino-Wifi.