您可以通过PHP生成javascript文件。没有说一个javascript文件必须具有.js扩展名。例如在您的HTML中：

<script src='javascript.php'></script>

然后您的脚本文件：

<?php header("Content-type: application/javascript"); ?>

$(function() {
    $( "#progressbar" ).progressbar({
        value: <?php echo $_SESSION['value'] ?>
    });

    // ... more javascript ...

如果无法使用此特定方法，则可以将AJAX请求放入您的javascript文件中，并从服务器端脚本将数据作为JSON返回。