Constant php_all_sys::php80::PHP_VERSION_ID[−][src]

pub const PHP_VERSION_ID: u32 = 80002;