Code Coverage for /workspace/src/extensions/Wikispeech/includes/DefaultUserOptions.php

1	<?php
2
3	namespace MediaWiki\Wikispeech;
4
5	/**
6	* @file
7	* @ingroup Extensions
8	* @license GPL-2.0-or-later
9	*/
10
11	/**
12	* @since 0.1.11
13	*/
14
15	class DefaultUserOptions {
16
17	/**
18	* Get default user options when used as a producer
19	*
20	* Used when a consumer loads the gadget module.
21	*
22	* @since 0.1.11
23	* @return array
24	*/
25	public static function getDefaultUserOptions() {
26	global $wgDefaultUserOptions;
27	$wikispeechOptions = array_filter(
28	$wgDefaultUserOptions,
29	static function ( $key ) {
30	// Only add options starting with "wikispeech".
31	return strpos( $key, 'wikispeech' ) === 0;
32	},
33	ARRAY_FILTER_USE_KEY
34	);
35	return $wikispeechOptions;
36	}
37	}