Disable https/http proxy for prometheus module

Hi All,

Can you add an option in the “prometheus” to disable the use of the global proxy ?
For example add “$config[‘prometheus’][‘proxy’] = false; # Optional
Then in the “includes/prometheus.inc.php” file add
if ($prometheus !== false) {
try {
$ch = curl_init();
if ($config[‘prometheus’][‘proxy’] === true) {
set_curl_proxy($ch);
}
$vals = “”;

Thanks