window.<?php echo $var_name; ?> = <?= json_encode($array_php); ?>;