MIUI 7 China Developer ROM 5.11.19 has been released, here’s the full Changelog

MIUI 7 China Developer ROM 5.11.19 Full Changelog

[System]

• Fix – DND toggle did not work (11-17)
• Fix – Media volume did not restore with turning off Silent mode
  after rebooting (11-19)

[Contacts]

• New – Support adding filters for Showtime videos (11-12)

[Lockscreen, Status Bar, Notification Bar]

• Fix – Boot up sound played in silent mode (11-18)

[Music]

• Fix – Pressing music notifications could not launch Music app
  (11-16)

[Settings]

• Fix – Silent mode automatically turned off after rebooting for
  devices on Android 5.0 system (11-19)

[File Explorer]

• New – Support moving files in private folder (11-18)
• New – Private folder supports file name encryption (11-18)
• New – Added space clearing prompt for phone management (11-18)
• New – Support setting default video player (11-18)
• New – Support adding File Explorer shortcut to home screen
  (11-18)

[Downloads]

• New – Support adding home screen shortcut for searching online
  resources feature (11-19)
• Optimization – Optimized account mechanism (11-19)

[Mi Account]

• Fix – Unbind SNS accounts in Info page sometimes caused FC
  error (11-17)

[Security]

• Optimization – Optimized the prompt text when power on and off
  time are set as the same (11-17)