Refined core/module/modulemangement.php