Hola
Nateskin
Simplemente porque es más seguro pues se supone que cumpliendo con la condición su valor solo cambia una vez por ciclo, es como aquello que todo mundo es inocente hasta que se demuestra lo contrario
en este caso se está diciendo que la extensión no existe, y se tiene que comprobar su existencia mediante el ciclo.
Espero no haberte enredado.
Saludos