devel_node_access_form_alter(&$form, $form_state, $form_id)sites/all/modules/devel/devel_node_access.module, line 74
<?php
function devel_node_access_form_alter(&$form, $form_state, $form_id) {
$tr = 't';
if ($form_id == 'devel_admin_settings' || $form_id == 'devel_node_access_admin_settings') {
$form['devel_node_access_debug_mode'] = array(
'#type' => 'checkbox',
'#title' => t('Devel Node Access debug mode'),
'#default_value' => variable_get('devel_node_access_debug_mode', FALSE),
'#description' => t('Debug mode verifies the grants in the node_access table against those that would be set by running !Rebuild_permissions, and displays them all; this can cause considerable overhead.', array('!Rebuild_permissions' => l('['. $tr('Rebuild permissions') .']', 'admin/reports/status/rebuild'))),
);
// push these down:
$form['buttons']['#weight'] = 1;
}
}
?>