1	<?php
2
3	namespace GlobalPreferences;
4
5	use GlobalPreferences\Services\GlobalPreferencesConnectionProvider;
6	use MediaWiki\Config\ServiceOptions;
7	use MediaWiki\MediaWikiServices;
8
9	// PHPUnit does not understand coverage for this file.
10	// It is covered though, see GlobalPreferencesServiceWiringTest.
11	// @codeCoverageIgnoreStart
12
13	return [
14	'GlobalPreferences.GlobalPreferencesConnectionProvider' => static function (
15	MediaWikiServices $services
16	): GlobalPreferencesConnectionProvider {
17	return new GlobalPreferencesConnectionProvider(
18	new ServiceOptions(
19	GlobalPreferencesConnectionProvider::CONSTRUCTOR_OPTIONS,
20	$services->getMainConfig()
21	),
22	$services->getConnectionProvider()
23	);
24	},
25	];
26
27	// @codeCoverageIgnoreEnd