Ticket #4559: jsgettext.php

<?php

function js_string($s, $double = false) {
        $q = $double? '"' : "'";
        return $q.str_replace($q, "\\$q", $s).$q;
}


function translation2jsitem($key, $value) {
        if (false !== strpos($key, "\0") && false !== strpos($value, "\0")) {
                $value = '['.implode(',', array_map('js_string', explode("\0", $value))).']';
        } else {
                $value = js_string(js_escape($value));
        }
        $key = js_string($key);
        return "$key: $value";
}

function translations2js(&$translations) {
        $res = array();
        //grr, there is no map on both key and value
        foreach ($translations as $key => $value) {
                        array_push($res, translation2jsitem($key, $value));
        }
        return "{\n\t".implode(",\n\t", $res)."\n}";
}
?>