Io non sono una cima di PHP... ma di solito conviene creare una variabile invece che usare il $_SERVER ogni volta.. tipo

Codice PHP:
$self = $_SERVER['PHP_SELF']; 
o

Codice PHP:
$self = $_SERVER["PHP_SELF"]; 
Penso sia uguale..