Manual:NullLockManager.php