No non è mica obbligatorio, ma di solito lo si fa per praticità e si mette $_SERVER['PHP_SELF'] invece che il nome esatto del file giusto per non dover fare modifiche nel caso si cambi nome alla pagina stessa.