Is WPMU DEV Dashboard compatible with PHP 7?


I scanned my site with this plugin and it said that these plugins are not compatible with PHP 7:



WPMU DEV Dashboard

Can you tell me if they are? Have you tested them with PHP 7? I can give you the exact errors it displayed too if that helps.