This is a purely mechanical change.

Bug: v8:7250, v8:7510
Change-Id: I9f450ca86fadd96f7c941e1adf7091a8ef97e8b2
Reviewed-on: https://chromium-review.googlesource.com/943065Reviewed-by: Sigurd Schneider <sigurds@chromium.org>
Commit-Queue: Benedikt Meurer <bmeurer@chromium.org>
Cr-Commit-Position: refs/heads/master@{#51657}