Attempt at providing the current URL in the cleanest possible manner

current-url.php

<?php

function url() {
  $url = @( $_SERVER['HTTPS'] != 'on' ) ? 'http://' : 'https://';         // Protocol
  $url .= $_SERVER['SERVER_NAME'];                                        // Host
  if ($_SERVER['SERVER_PORT'] != 80) $url .= ':'.$_SERVER['SERVER_PORT']; // Port
  if ($_SERVER['REQUEST_URI'] !== '/') $url .= $_SERVER['REQUEST_URI'];   // Request
  return $url;
}