menu_node_edit_delete_form_submit($form, &$form_state)Submit handler for menu_node_edit deletions. We cannot rely on menu_node here, since not all sections are nodes.
./menu_node_edit.module, line 382
<?php
function menu_node_edit_delete_form_submit($form, &$form_state) {
$mlid = $form_state['values']['mlid'];
db_query("DELETE FROM {menu_node_edit} WHERE mlid = %d", $mlid);
db_query("DELETE FROM {menu_node_edit_user} WHERE mlid = %d", $mlid);
cache_clear_all('menu-access-options', 'cache');
}
?>