Hallo,
Ich weiß nicht ob es hilft aber du könntest erst mal per str_replace() dieses "var mySettings = " wegmachen und dann Pears Services_JSON benutzen, das gut mit keys die nicht in Anführungszeichen sind umgehen kann.
<?php
$js_string = file_get_contents("mySettings.js");
$json_string = str_replace("var mySettings = ", "", $js_string);
$json = new Services_JSON();
var_dump($json->decode($json_string));
Da sollte dann ein PHP-Objekt oder ein assoziatives Array rauskommen.
Jeena