MediaWiki master
LockManagerGroupFactory.php
Go to the documentation of this file.
1<?php
2
4
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(!defined('MW_SETUP_CALLBACK'))
Definition WebStart.php:68
__construct( $defaultDomain, array $lockManagerConfigs)
Do not call directly, use MediaWikiServices.
Class to handle file lock manager registration.