#!/usr/bin/env bash

input="${1:-"/dev/stdin"}"
php -r "echo json_encode(simplexml_load_file('$input'));"