phpbb_is_greater_ie_version would suffice? or do we need phpbb_compare_ie_version ?