Wait, what? Audio Data was implemented in mid 2010 - way, way before Web Audio existed. Links:
https://wiki.mozilla.org/Audio_Data_API http://www.w3.org/standards/history/webaudio
Is there something incorrect in either of those, or some prior history to WebAudio I am not aware of?
Mozilla then followed with a "Media Processing" API: http://robert.ocallahan.org/2011/06/media-processing_15.html
It's possible that person you are responding to is thinking of that.
Wait, what? Audio Data was implemented in mid 2010 - way, way before Web Audio existed. Links:
https://wiki.mozilla.org/Audio_Data_API http://www.w3.org/standards/history/webaudio
Is there something incorrect in either of those, or some prior history to WebAudio I am not aware of?