devel_node_access.install

   1 <?php
   2
   3 /**
   4  * Implements hook_uninstall().
   5  */
   6 function devel_node_access_uninstall() {
   7   variable_del('devel_node_access_debug_mode');
   8
   9   if (!module_exists('devel') && ($devel_menu = menu_load('devel'))) {
  10     // Delete the development menu.
  11     menu_delete($devel_menu);
  12   }
  13 }