Done test for core/module/modulemanagement.php