Code Coverage for /workspace/src/extensions/Wikisource/includes/HookHandler/GetPreferencesHandler.php

1	<?php
2
3	namespace MediaWiki\Extension\Wikisource\HookHandler;
4
5	use MediaWiki\Preferences\Hook\GetPreferencesHook;
6	use MediaWiki\User\User;
7
8	class GetPreferencesHandler implements GetPreferencesHook {
9
10	/**
11	* Handle the GetPreferences hook.
12	* @param User $user
13	* @param array &$preferences
14	*/
15	public function onGetPreferences( $user, &$preferences ) {
16	$preferences['wikisource-ocr'] = [
17	'type' => 'api'
18	];
19	}
20	}