se fai <?php echo $_SERVER['PHP_SELF']; ?> dovrebbe comunque scriverti "index.php", quindi penso sia indifferente, ora non ricordo bene, comunque basta che fai un po di prove e vedi..