json_export.php

#!/usr/bin/env php
<?php

function getContents($params)
{
    [$self, $file, $startLine, $startColumn, $endLine, $endColumn] = $params;
    --$startLine;
    --$startColumn;
    --$endLine;
    --$endColumn;

    $handle = fopen($file, 'rb');
    $i = -1;
    $content = '';
    while (($line = fgets($handle)) !== false) {
        $i++;
        if ($i < $startLine) {
            continue;
        }

        if ($i === $startLine && $i === $endLine) {
            $content .= substr($line, $startColumn, $endColumn - $startColumn);
            break;
        }

        if ($i === $startLine) {
            $content .= substr($line, $startColumn);
        } else if ($i === $endLine) {
            $content .= substr($line, 0, $endColumn);
            break;
        } else {
            $content .= $line;
        }
    }
    fclose($handle);

    return $content;
}

echo var_export(json_decode(getContents($_SERVER['argv']), true), true).';';