Manual:DBLockManager.php