<?php

/**
 * Uninstalling the Mobile Theme module removes the saved variable.
 */
function mobile_theme_uninstall() {
  variable_del('mobile_theme_selection');
  variable_del('mobile_theme_detection');
}