ESP8266 -> PortMux does not name a Type

Hello

I am working on a Program to detect Signals generated by a Piezo Element and transfer them via UDP to a device which is reading on the UDP Port with a Python Program.

My Problem is that when I compile my Code I always get the Error message:

WiFiUDPClient_extInterrupt:31: error: ‘portMUX_TYPE’ does not name a type

portMUX_TYPE mux = portMUX_INITIALIZER_UNLOCKED;

WiFiUDPClient_extInterrupt:38: error: expected initializer before ‘handleExtInterrupt’

void IRAM_ATTR handleExtInterrupt() {

WiFiUDPClient_extInterrupt:108: error: variable or field ‘WiFiEvent’ declared void

void WiFiEvent(WiFiEvent_t event){

WiFiUDPClient_extInterrupt:108: error: ‘WiFiEvent_t’ was not declared in this scope

WiFiUDPClient_extInterrupt:38: error: expected initializer before ‘handleExtInterrupt’

void IRAM_ATTR handleExtInterrupt() {

exit status 1
‘portMUX_TYPE’ does not name a type

I had several Ideas what i could do but none of them worked.
Maybe the Boadloader did not implement all of the libs from the ESP8266 ?

I would really apreciate you thoughts there ^^

WiFiUDPClient_extInterrupt.ino (3.05 KB)