PHP7 Compatibility With Dashboard

Hi,

I am about to update my hosting environment to PHP7 and have been running compatibility checks on all my installed plugins. I received the following errors/warnings regarding the WPMU Dashboard plugin on my site. Can you please confirm if this has been tested with PHP7 and is fully functional? Thanks for any info.

FILE: /nas/content/live/vinylrevdevlp/wp-content/plugins/wpmudev-updates/template/support-system.php
----------------------------------------------------------------------------------------------------------------------------------------------------
FOUND 1 ERROR AND 4 WARNINGS AFFECTING 5 LINES
----------------------------------------------------------------------------------------------------------------------------------------------------
77 | ERROR | Extension 'mysql_' is deprecated since PHP 5.5 and removed since PHP 7.0 - use mysqli instead.
313 | WARNING | Function name "__render_list" is discouraged; PHP has reserved all method names with a double underscore prefix for future use
334 | WARNING | Function name "__error_reporting" is discouraged; PHP has reserved all method names with a double underscore prefix for future use
376 | WARNING | Function name "__value_format" is discouraged; PHP has reserved all method names with a double underscore prefix for future use
390 | WARNING | Function name "__const_format" is discouraged; PHP has reserved all method names with a double underscore prefix for future use
----------------------------------------------------------------------------------------------------------------------------------------------------