File: LockManagerGroupFactory.php

package info (click to toggle)
mediawiki 1%3A1.43.3%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 417,464 kB
  • sloc: php: 1,062,949; javascript: 664,290; sql: 9,714; python: 5,458; xml: 3,489; sh: 1,131; makefile: 64
file content (48 lines) | stat: -rw-r--r-- 1,198 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
<?php

namespace MediaWiki\FileBackend\LockManager;

use LockManagerGroup;

/**
 * Service to construct LockManagerGroups.
 */
class LockManagerGroupFactory {
	/** @var string */
	private $defaultDomain;

	/** @var array */
	private $lockManagerConfigs;

	/** @var LockManagerGroup[] (domain => LockManagerGroup) */
	private $instances = [];

	/**
	 * Do not call directly, use MediaWikiServices.
	 *
	 * @param string $defaultDomain
	 * @param array $lockManagerConfigs In format of $wgLockManagers
	 */
	public function __construct( $defaultDomain, array $lockManagerConfigs ) {
		$this->defaultDomain = $defaultDomain;
		$this->lockManagerConfigs = $lockManagerConfigs;
	}

	/**
	 * @param string|null|false $domain Domain (usually wiki ID). false for the default (normally
	 *   the current wiki's domain).
	 * @return LockManagerGroup
	 */
	public function getLockManagerGroup( $domain = false ): LockManagerGroup {
		if ( $domain === false || $domain === null ) {
			$domain = $this->defaultDomain;
		}

		if ( !isset( $this->instances[$domain] ) ) {
			$this->instances[$domain] =
				new LockManagerGroup( $domain, $this->lockManagerConfigs );
		}

		return $this->instances[$domain];
	}
}