1--TEST--
2Test filetype() function: Check character type
3--CREDITS--
4Dave Kelsey <d_kelsey@uk.ibm.com>
5--SKIPIF--
6<?php
7if (substr(PHP_OS, 0, 3) == 'WIN') {
8    die('skip no /dev on Windows');
9}
10if (!file_exists("/dev/null")) {
11    die('skip /dev/null not available');
12}
13?>
14--FILE--
15<?php
16/*
17Prototype: string filetype ( string $filename );
18Description: Returns the type of the file. Possible values are fifo, char,
19             dir, block, link, file, and unknown.
20*/
21
22echo "-- Checking for char --\n";
23print( filetype("/dev/null") )."\n";
24?>
25===DONE===
26--EXPECTF--
27-- Checking for char --
28char
29===DONE===
30