filetype("dateiname")

Beschreibung:
Gibt den Datei-Typ als String zurück. Hierbei wird zwischen "fifo", "char", "dir", "block", "link", "file" und "unknown" unterschieden. Bei einem Feher wird false zurückgegeben.

Beispiel:

echo filetype("index.htm");