Type Definition php_all_sys::php54::FILE[−][src]

type FILE = _IO_FILE;