Prevent Pocket Dials

[billamele]

Hi
I used the xiaomi.eu rom 6.12.1 on my mix, but I don't find the option Prevent Pocket Dials.
It is not provided..?

Thanks