Might be a late reply but did you dirty flash your ROM instead of OTA? OR OTA over another flavor of miui custom ROM?
If yes, you can try TWRP > ADVANCED > FILE MANAGER
Navigate to /data/system and look for all files with the name locksettings*.xyz of different extensions (dtm, XML, bin)...