note 112974 added to function.is-file

I see, is_file not work properly on specifical file in /dev (linux) look : root@boofh:/data# php -r "var_dump(is_file('/dev/core'));" bool(true) root@boofh:/data# php -r "var_dump(is_file('/proc/kcore'));" bool(true) root@boofh:/data# ls -alh /proc/kcore -r-------- 1 root root 128T Aug 13 18:39 /proc/kcore OR FIND do not detect regular file. root@boofh:/data# find /dev/ -type f root@boofh:/data# // version of php : root@boofh:/data# php -v PHP 5.4.4-14+deb7u3 (cli) (built: Jul 17 2013 14:54:08) Copyright (c) 1997-2012 The PHP Group Zend Engine v2.4.0, Copyright (c) 1998-2012 Zend Technologies ---- Server IP: 195.221.21.36 Probable Submitter: 62.129.6.2 ---- Manual Page -- http://php.net/manual/en/function.is-file.php Edit -- https://master.php.net/note/edit/112974 Del: integrated -- https://master.php.net/note/delete/112974/integrated Del: useless -- https://master.php.net/note/delete/112974/useless Del: bad code -- https://master.php.net/note/delete/112974/bad+code Del: spam -- https://master.php.net/note/delete/112974/spam Del: non-english -- https://master.php.net/note/delete/112974/non-english Del: in docs -- https://master.php.net/note/delete/112974/in+docs Del: other reasons-- https://master.php.net/note/delete/112974 Reject -- https://master.php.net/note/reject/112974 Search -- https://master.php.net/manage/user-notes.php