export_variables_to_js.php

<?php

function export_variables_to_js($vars = array(), $parent = "window") {
    $js_vars = array();
    foreach ($vars as $key => $val) {
        $key = json_encode($key);
        $val = json_encode($val);
        if ($parent) {
            $js_vars[] = "$parent[$key] = $val";
        } else {
            $js_vars[] = "var $key = $val";
        }
    }
    if (count($js_vars)) {
        return "<script>" . implode("; ", $js_vars) . ";</script>";
    }
}