esp8266/esp_mphal: Handle Ctrl+C from dupterm (e.g. WebREPL).
diff --git a/esp8266/esp_mphal.h b/esp8266/esp_mphal.h
index 13b1c8f..377bbeb 100644
--- a/esp8266/esp_mphal.h
+++ b/esp8266/esp_mphal.h
@@ -29,6 +29,9 @@
 
 #include "py/ringbuf.h"
 
+void mp_keyboard_interrupt(void);
+extern int interrupt_char;
+
 struct _mp_print_t;
 // Structure for UART-only output via mp_printf()
 extern const struct _mp_print_t mp_debug_print;