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

type FILE = _IO_FILE;