mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-30 19:16:39 +00:00
4a88be8084
This makes it easier to change going forward, and configurable on 3rd party wikis. Bug: T294881 Change-Id: I9e5343cab42cb00ed6b62cf5adf9e02b072481f1
17 lines
390 B
PHP
17 lines
390 B
PHP
<?php
|
|
|
|
namespace MediaWiki\Extension\DiscussionTools;
|
|
|
|
use MediaWiki\MediaWikiServices;
|
|
|
|
return [
|
|
'DiscussionTools.SubscriptionStore' => static function ( MediaWikiServices $services ): SubscriptionStore {
|
|
return new SubscriptionStore(
|
|
$services->getConfigFactory(),
|
|
$services->getDBLoadBalancerFactory(),
|
|
$services->getReadOnlyMode(),
|
|
$services->getUserFactory()
|
|
);
|
|
}
|
|
];
|