devel_node_access.install

<?php


/**
 * @file
 * Uninstall function for Devel node access.
 */

/**
 * 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);
    }
}