Wordpress: get_option_prefix()