function devel_ajax_render_alter

Implements hook_ajax_render_alter().

Disables our footer stuff based on ajax response.

AJAX render reponses sometimes are sent as text/html. We have to catch them here and disable our footer stuff.

File

./devel.module, line 1146

Code

function devel_ajax_render_alter() {
    $GLOBALS['devel_shutdown'] = FALSE;
}