Quick converter of INI files to JSON files written in PHP.

ini2json

#!/usr/bin/php
<?php

$in = empty($argv[1]) ? '' : $argv[1];
$out = empty($argv[2]) ? '' : $argv[2];

if (empty($out)) {
	$out = basename($in, '.ini') . '.json';
}

$data = parse_ini_file($in, true);
$length = file_put_contents($out, json_encode($data));
print "Converted $in to $out. Wrote $length bytes\n";

?>