Editing: HasCacheLock.php