php post请求

public function file_get_contents_post($url, $post){
???????????????　　$options = array(
???????????????????　　　　‘http‘=> array(
???????????????????????　　　　　　‘method‘=>‘POST‘,
???????????????????????　　　　　　‘content‘=> http_build_query($post),
???????????????????　　　　),
???????????????　　);
???????????????　　$result = file_get_contents($url,false, stream_context_create($options));
???????????????　　return $result;
???????}

file_get_contents_post($_SERVER[‘HTTP_HOST‘]."/Admin/RisManager", array(‘LocalName‘=>$basic_user[‘real_name‘]));