Il tuo file javascript.php
codice:
<?php
    header ("Content-type: text/javascript");  // così il browser lo interpreta come un .js
    $array = file ("xxx.ini");// creo l'array dal file con php
?>
// codice javascript
var array = [<?php echo implode ($array, ", "); ?>];
// codice javascript