123456789101112131415161718 |
- <?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);
- }
- }
|