GitLab

This is in preparation for introducing a public PlatformHandle API in
mojo/public/cpp/platform.

Purely symbol renames. No header move because all header references
outside of mojo/edk are going to change soon anyway. No functional
changes.

The public API will be cleaner than the EDK one, but the EDK one is
pretty well entrenched at this point. We'll split the two for now,
and relegate InternalPlatformHandle/ScopedInternalPlatformHandle to
internal EDK usage only, once the public API lands.

TBR=jcivelli@chromium.org
TBR=sky@chromium.org
TBR=miu@chromium.org

Bug: 844764
Change-Id: I206602f1a6966367f19159fda29aa4337b9470d6
Reviewed-on: https://chromium-review.googlesource.com/1068265
Commit-Queue: Ken Rockot <rockot@chromium.org>
Reviewed-by: Scott Violet <sky@chromium.org>
Reviewed-by: Ken Rockot <rockot@chromium.org>
Cr-Commit-Position: refs/heads/master@{#560475}