Error with wc_stripe()

Hello,
It seems there is a conflict with the function wc_stripe which is already declared somewhere in an onther plugin.
Can the development team rename the function in order to make it work? On my website I replaced wc_stripe by wcg_stripe ins stripe-settings.php and woocommerce-gateway-stripe.php and now it’s ok.

Thank you very much in advance