Editing: LockProvider.php