False positive: WooCommerce Customer/Order CSV Export

[gclass0417]

I found that a file in the WooCommerce Customer/Order CSV Export plug-in was flagged for a compatibility error:

FILE: /wp-content/plugins/woocommerce-customer-order-csv-export/includes/data-stores/database/class-wc-customer-order-csv-export-data-store-database.php

FOUND 2 ERRORS AFFECTING 2 LINES

233 | ERROR | Extension 'mysql_' is deprecated since PHP 5.5 and removed since PHP 7.0; Use mysqli instead 235 | ERROR | Extension 'mysql_' is deprecated since PHP 5.5 and removed since PHP 7.0; Use mysqli instead

The plug-in developer's tech support ([email protected]) responded to me in e-mail correspondence: "Our plugins are definitely compatible with PHP7.x+. It is common, however, for PHP compatibility checkers to flag our plugins anyways. The reason for this is that we maintain compatibility with many older versions of PHP as well to ensure our plugins can be used on the maximum number of active WordPress sites. "