WPmudev Dashboard - PHP7 Compatibility Error List

Hi, we are trying to move our hosting platform to PHP7 soon and we just did a PHP7 Check compatibility with our website.

We found this problems inside the WPMUDEV Dashboard plugin.

FILE: /nas/content/staging/efmplatform/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

The compatibility check is made using this plugin:
https://wordpress.org/plugins/php-compatibility-checker/

Do you think will be fixed in the next release?
Thanks for your support.