How do you add an Arduino WIFI board to ST?

It appears to me that you may not have your Arduino libraries in the correct folder on your PC.

Take a look at the following post for details on how to set things up so the Arduino IDE can find the libraries.