Someone with a Xiaomi Mi 10 Pro here? I have a question...

[Eiki_2]

I'm looking for a phone with a "Smart Cover" function that wakes the screen when the flip/cover on the case is opened. I had this in the settings on my old Mi Max (MIUI 8.2). I bought a Poco F3 and the setting is nowhere to be found (probably because the Virtual proximity sensing). But I found the below video that had the Smart Cover in the settings of a Mi 10 Pro (MIUI 11.0.10). Can someone confirm that this setting is still there in MIUI 13?
The function can be seen 1:32 into the video.

https://youtu.be/-x7NsKA7aqs?t=92

Maybe someone know about a newer phone, Xiaomi or not, that has this wake screen function (I know that official Samsung cases has this function)?

Thanks in advance!