Function Description:
Mi and REDMI mobile phones can use file management to compress files into zip format. The operation method is as follows:
Open file management, enter the "mobile phone" category, find the file to be compressed >>long press to select file >>More>>Compress (as shown in the picture).
Click compress, will pop up the window, and then can edit the compressed file name.