S3 mini - MiuiVideo and FmRadio missing

Hi,

I recently installed MIUI V5 4.2.7 (latest version I could find for my Samsung S3 mini), but noticed that there is no embedded video player (unable to play video's I recorded from the Gallery) or FM radio in the rom. I did install a 3rd party video player, but it would be easier to be able to just click on a video in the gallery and it will start to play.
There even isn't a "Video" section in settings > apps > default app settings. So I can't set the 3rd party as default video app.
Tried...

S3 mini - MiuiVideo and FmRadio missing