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