Advertisement
Guest User

Untitled

a guest
May 21st, 2019
69
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.21 KB | None | 0 0
  1. if (strcasecmp('HTTP', $scheme) == 0 && $port != 80) {
  2. $url .= ':'.$port;
  3. }
  4. if (strcasecmp('HTTPS', $scheme) == 0 && $port != 443) {
  5. $url .= ':'.$port;
  6. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement