779
779
$module_list = array_flip(array_values($module_list));
781
781
$profile = drupal_get_profile();
783
783
if (!isset($module_data[$module]) || drupal_get_installed_schema_version($module) == SCHEMA_UNINSTALLED) {
784
784
// This module doesn't exist or is already uninstalled. Skip it.
785
785
unset($module_list[$module]);