Constant php_all_sys::php80::_zend_known_string_id_ZEND_STR_DOUBLE [−][src]
pub const _zend_known_string_id_ZEND_STR_DOUBLE: _zend_known_string_id = 39;
pub const _zend_known_string_id_ZEND_STR_DOUBLE: _zend_known_string_id = 39;