(From this Redmi Note 5 thread on 4PDA. Translation via Google Translate.)
Version for Android 9 based on Google Camera 6.2.024 by tigr1234566 & r0m10.
What works: Night mode, video finder, a lot of settings in Russian, 4K, H265, 1080 • 60 FPS and much more.
What does NOT work: video have a green spot if stabilization is on (waiting for a fix)