devel_node_access.install

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