This is an error 404
There are `0` results
preferences:
143.01 ms | 1398 KiB | 7 Q<?hh
async function getPage($url) {
$fp = fopen($url, 'r');
await $fp;
return stream_get_contents($fp);
}
$pages = await [
getPage('http://php.net'),
getPage('http://example.com'),
getPage('http://hhvm.com'),
];