<?php

/**
 * Implements hook_uninstall().
 */
function devel_node_access_uninstall() {
  variable_del('devel_node_access_debug_mode');

  if (!module_exists('devel') && ($devel_menu = menu_load('devel'))) {
    // Delete the development menu.
    menu_delete($devel_menu);
  }
}
