MP3 extension used instead of WAV?

Monkey Forums/Monkey Programming/MP3 extension used instead of WAV?

Foppy(Posted 2011) [#1]
While trying to create a Flash version of my game I noticed that after adding MP3 versions of the sounds to the data folder, Monkey was able to create a working Flash version, including sound playback, even though I had not changed the filenames in the sourcecode to use the MP3 extension. So while the code still says LoadSound("bounce.wav"), in the background it seems that "bounce.mp3" is being embedded in the swf.

Is this indeed what is going on? It's great of course but I would like to know for sure, so I know what is happening! :)