Pasar de símbolos ASCII a hexadecimal

[educacanis]

hola,
tengo que hacer un enlace de manera dinámica, con una parte fija y otra que me recoja la URL activa. Para recoger la url activa utilizo el siguiente código:

Código PHP:

  $url = (!empty($_SERVER['HTTPS'])) ? "https://".$_SERVER['SERVER_NAME'].$_SERVER['REQUEST_URI'] : "http://".$_SERVER['SERVER_NAME'].$_SERVER['REQUEST_URI']; 
   

Si ponemos el ejemplo de la página web de forosdelweb, lo que me saca por la pantalla al hacer 'echo' es

http://www.forosdelweb.com

El caso es que para que me funcione correctamente lo que tengo que hacer, los símbolos ASCII deben ser hexadecimales, quedando de la siguiente manera

http%3A%2F%2Fwww.forosdelweb.com

Mi pregunta es, cómo consigo cambiar estos símbolos?? hay alguna función predeterminada que lo pueda hacer o tendría yo que escribir una función. Alguien podría ayudarme a escribirla, porque he intentado hacerla pero no me sale

Gracias

[Naahuel]

Código PHP:

urlencode($url);
 

?

[educacanis]

Gracias!! era justo lo que necesitaba