Dump to text file


$start = microtime(true);
$data = microtime(true) - $start;
$filename = '/Users/758743/Desktop/out.txt';
$s = file_get_contents($filename);
$s .= chr(10) . __FILE__ . ':' . __LINE__;
$s .= chr(10) . var_export($data, true);
file_put_contents($filename, $s);