}
    /**
     * Wrapper around @see wc_format_decimal() which was called @see woocommerce_format_total() prior to WooCommerce 2.1.
     *
     * @since version 1.4.6
     */
    public static function format_total($number)
    {
        global $woocommerce;
        if (function_exists('wc_format_decimal')) {
            return wc_format_decimal($number);
        } else {
            // WC < 2.1
            return woocommerce_format_total($number);
        }
    }
    /* Deprecated Functions */
    /**
     * Was called when a plugin is activated using official register_activation_hook() API
     *
     * Upgrade routine is now in @see maybe_activate_woocommerce_subscriptions()
     *
     * @since 1.0
     */
    public static function activate_woocommerce_subscriptions()
    {
        _deprecated_function(__CLASS__ . '::' . __FUNCTION__, '1.1', __CLASS__ . '::maybe_activate_woocommerce_subscriptions()');
    }
}
WC_Subscriptions::init();