For me this is still an issue. I am on MIUI 11 (9.10.11) on my Mix 2S.
Dev settings is ON, but - developer settings > skip lockscreen is OFF (option is grayed out, cannot change it).
Any ideas how to fix this? (in silent mode it works still OK, so that is a good workaround).