Global function in file auto_prepend.php:

/**
 * Echo string containing names and values of all arguments, then exit
 */
function EDX(...$args)
{
    if ($_SERVER['REMOTE_ADDR'] && !headers_sent())
        header("Content-Type: text/html"); # Not going to be e.g. a valid gif anyway

    it_debug::echo($args);
    exit();
}