MediaWiki
master
LockManagerGroupFactory.php
Go to the documentation of this file.
1
<?php
2
3
namespace
MediaWiki\FileBackend\LockManager
;
4
8
class
LockManagerGroupFactory
{
10
private
$defaultDomain;
11
13
private
$lockManagerConfigs;
14
16
private
$instances = [];
17
24
public
function
__construct
( $defaultDomain, array $lockManagerConfigs ) {
25
$this->defaultDomain = $defaultDomain;
26
$this->lockManagerConfigs = $lockManagerConfigs;
27
}
28
34
public
function
getLockManagerGroup
( $domain =
false
):
LockManagerGroup
{
35
if
( $domain === false || $domain === null ) {
36
$domain = $this->defaultDomain;
37
}
38
39
if
( !isset( $this->instances[$domain] ) ) {
40
$this->instances[$domain] =
41
new
LockManagerGroup
( $domain, $this->lockManagerConfigs );
42
}
43
44
return
$this->instances[$domain];
45
}
46
}
if
if(!defined('MW_SETUP_CALLBACK'))
Definition
WebStart.php:68
MediaWiki\FileBackend\LockManager\LockManagerGroupFactory
Service to construct LockManagerGroups.
Definition
LockManagerGroupFactory.php:8
MediaWiki\FileBackend\LockManager\LockManagerGroupFactory\getLockManagerGroup
getLockManagerGroup( $domain=false)
Definition
LockManagerGroupFactory.php:34
MediaWiki\FileBackend\LockManager\LockManagerGroupFactory\__construct
__construct( $defaultDomain, array $lockManagerConfigs)
Do not call directly, use MediaWikiServices.
Definition
LockManagerGroupFactory.php:24
MediaWiki\FileBackend\LockManager\LockManagerGroup
Class to handle file lock manager registration.
Definition
LockManagerGroup.php:23
MediaWiki\FileBackend\LockManager
Definition
LockManagerGroup.php:10
includes
FileBackend
LockManager
LockManagerGroupFactory.php
Generated on Tue Dec 9 2025 09:24:34 for MediaWiki by
1.10.0