Да, wvanbergen прав, json_encode - ваш друг. Вы можете создать массив в формате JSON:
<?php
$extra = array(
array(1,'Bob',12),
array(2,'Alice',18)
);
echo "var extra = " . json_encode($extra) . ";";
?>
И в вашем javascript он выведет:
var extra = [[1,"Bob",12],[2,"Alice",18]];