"<?php\n  $data = file_get_contents("data.php");\n  echo json_encode(htmlspecialchars($data));\n?>\n"