function mobile_tools_modules_disabled in Mobile Tools 7.3
Same name and namespace in other branches
- 7.2 mobile_tools.module \mobile_tools_modules_disabled()
Implements hook_modules_disabled().
File
- ./mobile_tools.module, line 274 
- Functionality to ease the creation of mixed device environments.
Code
function mobile_tools_modules_disabled($modules) {
  // Check if there are any device detector modules left.
  // If not, disable the feature.
  $detectors = _mobile_tools_get_device_detectors(TRUE);
  if (empty($detectors)) {
    variable_set('mobile_tools_enable_redirection', FALSE);
    drupal_set_message(t('Device redirection is disabled. There are no more device detector modules enabled.'), 'warning');
  }
}