#559034 by sun | EnekoAlonso: Changed Remove dependency on Menu module.
[project/devel.git] / 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 }