hi, i'd like to check the server headers (200/404/502) of an HTTPS page. how do i do that in PHP? the function get-headers doesn't support HTTPS. thanks guys!