MediaWiki
1.23.2
|
Files | |
file | DBLockManager.php [code] |
Version of LockManager based on using DB table locks. | |
file | FSLockManager.php [code] |
Simple version of LockManager based on using FS lock files. | |
file | LockManager.php [code] |
Resource locking handling. | |
file | LockManagerGroup.php [code] |
Lock manager registration handling. | |
file | MemcLockManager.php [code] |
Version of LockManager based on using memcached servers. | |
file | QuorumLockManager.php [code] |
Version of LockManager that uses a quorum from peer servers for locks. | |
file | RedisLockManager.php [code] |
Version of LockManager based on using redis servers. | |
file | ScopedLock.php [code] |
Resource locking handling. | |