config_to_json.php

<?php

/*
 * Configuration to JSON converter
 * Written by Job Snijders <job@instituut.net>
 *
 */

$defaults_file = 'includes/defaults.inc.php';
$config_file   = 'config.php';

// move to install dir
chdir(dirname($argv[0]));

function iscli() {
    if (php_sapi_name() == 'cli' && empty($_SERVER['REMOTE_ADDR'])) {
        return true;
    }
    else {
        return false;
    }

}

// check if we are running through the CLI, otherwise abort
if (iscli()) {
    include_once $defaults_file;
    include_once $config_file;
    print (json_encode($config));
}