Pass PHP array into Javascript array [duplicate]

Question

Referring to the title. I have an array which I coded like this:-

$query = "SELECT * FROM server";
$result = mysql_query($query);
$dServer = array();

while($row = mysql_fetch_assoc($result)) {
    $dServer[] = $row['model'];
}    

Now, how do I pass the $dServer array into a Javascript array?

For example, this array:

var a = new Array();

Answer 1

$query = "SELECT * FROM server";
$result = mysql_query($query);
$dServer = array();

while($row = mysql_fetch_assoc($result)){
    $dServer[] = $row['model'];
}    

?>
<script type="text/javascript">
    var a = <?php echo json_encode($dServer); ?>;
</script>