In the operations/mediawiki-config repo, in ProductionServices.php, we should add an entry for ipoid with the proxy address (localhost:6035, per https://gerrit.wikimedia.org/r/c/operations/puppet/+/988453/)
Then, in CommonSettings.php, we should have an entry like:
$wgIPInfoIpoidUrl = $wmgLocalServices['ipoid'];