Convert php array to Javascript

<?php $user = [ 'name' => 'John Doe', 'email' => 'john@example.com', 'is_admin' => true, 'age' => 30 ]; ?> 

<script type="text/javascript"> // Assign PHP user array to a JS variable var user = <?php echo json_encode($user); ?>; console.log(user); </script> 

{ name: "John Doe", email: "john@example.com", is_admin: true, age: 30 }