the newest MIUI is not opensource _Originally posted by @peterpei1186861238 in https://github.com/MiCode/patchrom_miui/issues/42#issuecomment-520762767_