On the basis that's as close as we can get to the beta for now.
Still has HAL issues.

One local change to MicroPython was needed to include mphal.h in
modspeech - need to review how this works for the non-sim build as it
seems like it should be included.

Audio format needs some investigation - MediaRecorder might not be the
right approach.

We'll still need to resample them and write them to the buffer.

Closes #101

Needs testing but likely closes #110

…/micropython-microbit-v2-simulator into beta-updates

Edge cases need checking. Requires a higher AUDIO_CHUNK_SIZE which has
other consequences but 4ms is too short.

…/micropython-microbit-v2-simulator into beta-updates

- Fix missing typescript types
- Use Safari 13 compatible OfflineAudioContext constructor - this may
  prove pointless due to lack of < 44100 sample rate support, but is an
  easier starting point to try things out.

by stopping micStream tracks

Passing this.microphone.microphoneOn/Off functions as BoardAudio constructors in  board/index.ts didn't work for some reasons. The microphone element was flagged as being undefined. So instead I passed the element directly into the BoardAudio constructor, which worked.

Enable a larger audio buffer

- Use smaller buffer to avoid too much audio after wait=True
- Don't reset nextStartTime to avoid overlapping audio
- Add indirection to callback so we can clear it properly to avoid
  calling it when audio finishes after MicroPython has terminated

Remove our workaround

Adjust build and samples for record/playback
No HAL changes but the API has changed

We need to do this for recording as we can't specify a rate.

We need to do this for playback for sample rates outside of the
browser's supported range. That includes the current default rate for
Firefox and older Safari.

Uses a resampler build that doesn't support medium/best to save on
bundle size.

I've also increased the buffer size so I can play a 44k sample in an
OK-ish way. Maybe 256 will be needed.

We know Firefox on Windows still performs poorly. It did badly with
audio before these changes.

Another significant issue is that it can take 3 seconds to call getUserMedia on Desktop Safari.