MediaWiki\User\DefaultOptionsLookup