Codice PHP:
<?php

# Solo se necessario:
# $_SERVER["PHP_SELF"] = htmlentities( $_SERVER["PHP_SELF"] );

echo substr$_SERVER["PHP_SELF"] , );

?>