I don't know how should I get the current request protocol in PHP. I haven't found any straight $_SERVER
key for this. I don't want a straight string split out of current request.
For instance:
http://localhost/someDomain
then:
echo $_SERVER["protocl"];
// http
What should be done?