Manual:LockManager.php