La VARIABLE (ojo, no es una función) que contiene la url con la que se ha "pedido" la página actual es:
$_SERVER['REQUEST_URI']
Pero como te digo.. esto es sólo con fines de reusabilidad y compatibilidad (por ejemplo si le cambias de nombre al archivo)... en realidad no hay mayor problema con que escribas el nombre de archivo sin utilizar las VARIABLES de servidor:
Código PHP:
header("location: index.php?ir=6");
Saludos
