<?php
$lang['use_proxy'] = 'Use a proxy for query servers?';
$lang['proxy_url'] = 'URL of the proxy';