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

pub const PHP_VERSION_ID: u32 = 70234;