Ja tun sie, der Typ einer Datei wird nicht letzendlich nicht durch Endung sondern durch den mime-type bestimmt den der Webserver an den Browser sendet. Den man auch mit PHP manipulieren kann, wenn man jetzt ein html Dokumen zum typ application/zip macht bietet der browser es dir zum download an.