Thank you very much. This makes miui complete for me. Can you give me any hints on how to do it myself in case your next holiday takes even longer. :-)
I guess you just have to adjust the PhoneWindowManager.smali for every update. Any tips are welcome.