| Commit | Line | Data |
|---|---|---|
| 39f2f0b4 | 1 | <?php |
| 2 | ||
| dc352d9d | 3 | /** |
| 4 | * Implements hook_uninstall(). | |
| 5 | */ | |
| eb041cd3 | 6 | function devel_node_access_uninstall() { |
| 1c285568 | 7 | variable_del('devel_node_access_debug_mode'); |
| 1094cb03 | 8 | |
| dc352d9d | 9 | if (!module_exists('devel') && ($devel_menu = menu_load('devel'))) { |
| 1094cb03 | 10 | // Delete the development menu. |
| 1094cb03 | 11 | menu_delete($devel_menu); |
| 12 | } | |
| eb041cd3 | 13 | } |