tree 118a4f6e0c659c93bfa1707474785e102a809eab
parent 95db83b6804025b678f671b5390219addaf5177a
author Ross McIlroy <rmcilroy@chromium.org> 1543586828 +0000
committer Commit Bot <commit-bot@chromium.org> 1544535643 +0000

[Cleanup] Deprecate non-maybe versions of HasReal*Property.

These functions have been marked V8_DEPRECATE_SOON for a long time,
now all uses have been removed from Chrome, mark them as deprecated.

BUG=v8:7287,v8:8238

Change-Id: I47b23588231ca510ec2475cb476e4134c05e162a
Reviewed-on: https://chromium-review.googlesource.com/c/1356517
Reviewed-by: Yang Guo <yangguo@chromium.org>
Commit-Queue: Ross McIlroy <rmcilroy@chromium.org>
Cr-Commit-Position: refs/heads/master@{#58154}