An updated function for the WooCommerce product vendors plugin

updated-get-vendor-admins-function.php

/**
 * Get admins for vendor
 * @param  int $vendor_id ID of vendor
 * @return arr            Array of user objects
 */
function get_vendor_admins( $vendor_id = 0 ) {
	global $wc_product_vendors;
	$admins = array();
	if( $vendor_id > 0 ) {
		$vendor_info = get_option( $wc_product_vendors->token . '_' . $vendor_id );
		if ( $admin_ids = $vendor_info['admins'] ) {
			foreach ( $admin_ids as $admin_id ) {
			 	if ( is_int( $admin_id ) ) {
			 		$admins[] = $admin_id;
			 	} elseif ( is_string( $admin_id ) ) {
			 		foreach ( explode( ',', $admin_id ) as $id ) {
			 			$admins[] = trim( $id );
			 		}
			 	}
			}
		}
		if ( count( $admins ) > 0 ) {
			$args = array(
				'include' => $admins
			);
			$admins = get_users( $args );
		}
	}

	return $admins;
}