Writing an PHP array in a javascript file with json_encode. Code Example:
<script type="text/javascript"> document.getElementByID('submitButton').onclick = function() { var books = <?php echo json_encode($books); ?>; getBooks(books); }; </script> ... <input type="submit" value="Submit" id="submitButton">