MediaWiki
REL1_40
LockManagerGroupFactory.php
Go to the documentation of this file.
1
<?php
2
3
namespace
MediaWiki\FileBackend\LockManager
;
4
5
use
LockManagerGroup
;
6
10
class
LockManagerGroupFactory
{
12
private
$defaultDomain;
13
15
private
$lockManagerConfigs;
16
18
private
$instances = [];
19
26
public
function
__construct
( $defaultDomain, array $lockManagerConfigs ) {
27
$this->defaultDomain = $defaultDomain;
28
$this->lockManagerConfigs = $lockManagerConfigs;
29
}
30
36
public
function
getLockManagerGroup
( $domain =
false
):
LockManagerGroup
{
37
if
( $domain === false || $domain === null ) {
38
$domain = $this->defaultDomain;
39
}
40
41
if
( !isset( $this->instances[$domain] ) ) {
42
$this->instances[$domain] =
43
new
LockManagerGroup
( $domain, $this->lockManagerConfigs );
44
}
45
46
return
$this->instances[$domain];
47
}
48
}
if
if(!defined('MW_SETUP_CALLBACK'))
The persistent session ID (if any) loaded at startup.
Definition
WebStart.php:88
LockManagerGroup
Class to handle file lock manager registration.
Definition
LockManagerGroup.php:31
MediaWiki\FileBackend\LockManager\LockManagerGroupFactory
Service to construct LockManagerGroups.
Definition
LockManagerGroupFactory.php:10
MediaWiki\FileBackend\LockManager\LockManagerGroupFactory\getLockManagerGroup
getLockManagerGroup( $domain=false)
Definition
LockManagerGroupFactory.php:36
MediaWiki\FileBackend\LockManager\LockManagerGroupFactory\__construct
__construct( $defaultDomain, array $lockManagerConfigs)
Do not call directly, use MediaWikiServices.
Definition
LockManagerGroupFactory.php:26
MediaWiki\FileBackend\LockManager
Definition
LockManagerGroupFactory.php:3
includes
filebackend
lockmanager
LockManagerGroupFactory.php
Generated on Thu Jun 27 2024 14:02:45 for MediaWiki by
1.10.0