073 不断在文件hello.txt头部写入一行"Hello World"字符串，要求代码完整

$str = file_get_contents(“hello.txt”);

$str = “hello world”.$str;

file_put_contents(“hello.txt”,$str);