高手指点。。。

Question

<?php
$headers = http_get_request_headers();
        
        if (isset($headers['Range'])) {
         }         ...
?> 报错，
 Fatal error: Call to undefined function http_get_request_headers()  查了原因，好象是PHP5以上的都支持， 但我明明就是5。12的版本， 怎么不能用这个函数？  不过，我的目的就是要把头信息取出来，还有其他类似功能的函数没？谢谢答复