Background
The $wgMetricsPlatformEnable config variable currently does two things:
- It enables loading of the extension along with $wgMetricsPlatformEnableStreamConfigsMerging (see https://gerrit.wikimedia.org/g/operations/mediawiki-config/+/9d1764e343c324af702553f81bc604c836914ddb/wmf-config/CommonSettings.php#4681)
- It enables stream configs fetching
The variable was added when the MetricsPlatform MediaWiki extension only did stream configs fetching and merging and we wanted to understand the performance of stream config fetching . Now the extension does more, we should alter the design slightly to ensure that the extension's config variables are easy to understand and consistent with other extensions'.
I propose that:
- We introduce the $wmgUseMetricsPlatform config variable in the operations/mediawiki-config repo, which causes the extension to be loaded
- We rename the $wgMetricsPlatformEnable config variable to $wgMetricsPlatformEnableStreamConfigsFetching