Exporting a variable from PHP to JavaScript