Dump the given value to stdout

dout.php

<?php 

/**
 * Dump the given value to stdout
 *
 * @param  mixed  $value
 * @return void
 */
function dout($value)
{
    ob_start();
    var_dump($value);
    $contents = ob_get_contents();
    ob_end_clean();
    file_put_contents('php://stdout', $contents);
}