Decodificación de URL en PHP
Estoy tratando de decodificar esta cadena de URL usando la función urldecode de PHP:
urldecode("Ant%C3%B4nio+Carlos+Jobim");
Esto se supone que es de salida ...
'Antônio Carlos Jobim'
... pero en lugar de eso está surgiendo esto
'Antônio Carlos Jobim'
He probado la cadena en unaDecodificador en línea basado en JS con gran éxito, pero parece que no puede hacer esta operación del lado del servidor. ¿Algunas ideas?