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