Manual:QuorumLockManager.php