PHP: Robust JSON-decode

JsonDecode.robust.php

<?
/**
 * Custom version of the json_decode native function to allow comments in
 * the config file.
 */
function json_clean_decode($json, $assoc = false, $depth = 512, $options = 0) {
	// search and remove comments like /* */ and //
	$json = preg_replace("#(/\*([^*]|[\r\n]|(\*+([^*/]|[\r\n])))*\*+/)|([\s\t]//.*)|(^//.*)#", '', $json);

	if(version_compare(phpversion(), '5.4.0', '>=')) {
		$json = json_decode($json, $assoc, $depth, $options);
	}
	elseif(version_compare(phpversion(), '5.3.0', '>=')) {
		$json = json_decode($json, $assoc, $depth);
	}
	else {
		$json = json_decode($json, $assoc);
	}

	return $json;
}
?>