This is a Magisk module.
It enables you to record 4k videos and shoot photos in manual mode via MIUI Camera.
It may have some flaws (but wasn't reported to), as the base xml config file was taken from Chinese 8.1.
If you have any suggestions or non-placebo problems, feel free to tell here. Especially if you got some know-how about device_features modding on MIUI devices.
Confirmed to work by @xdatman
Whyred featuremods (4k and manual camera), Tool/Utility for the Xiaomi Redmi Note 5 Pro
j1505243, Qualcomm (who made the 4k capable SoC), Samsung/Sony (who made 4k capable sensors), Xiaomi (for leaving the scrapped features as single props)
Last Updated 2018-03-29