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

pub const PHP_API_VERSION: u32 = 20170718;