we kept them first in `DefaultSettings.php` but there is no need to create another `$wg*` global variable. also existing code which uses solr has it defined within the "extension files"