functions: add missing ini_has_option