PHP's inbuilt JSON encoder seems to like to escape all slashes
"channel": [
{
"name": "release",
"version": "",
"restartRequired": "",
"file": "http:\/\/localhost\/support_updater\/download.php?id=13",
"changelog": "http:\/\/localhost\/support_updater\/changelog.php?id=13"
}
]
None of the possible 'escape level' masks seem to have an effect, so I'm assuming it's a JSON specification?