Is there a standard MediaWiki audio recorder, e.g. something from
https://developer.mozilla.org/en-US/docs/Web/API/MediaStream_Recording_API#…
which is working in some javascript gadget?
My 2017 Google Summer of Code student made one for Wiktionary, but I'm
not sure whether it is still working:
http://youtube.com/watch?v=8Euhu4Q7HF4&t=38m
It's based on less cross-platform technology than
https://www.npmjs.com/package/react-mic
What is the MediaWiki state of the art for cross-platform microphone
audio upload?