ADC - change configuration using MakeCode?

micro:bit
1

I’d like to change the ADC config so that it uses the microbit’s 1.2V reference and prescaler.
There’s a way to configure this using micropython in this blog.
Any ideas on how to code this (maybe as an extension) in MakeCode?