Add GeolocationManager service

device/geolocation/public/interfaces/geolocation_manager.mojom

+// Copyright 2017 The Chromium Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+
+module device.mojom;
+
+// The Geolocation manager provides a service for trusted consumers to get the

[Ken Rockot(use gerrit already), 2017/07/10 19:38:55]

nit: please don't use the word "service" in an IPC or mojom context unless
referring to actual services. Please also do not refer to "frames" here.

[asimjour1, 2017/07/10 20:45:50]

Done.

+// information across all the frames.
+interface GeolocationManager {

[Ken Rockot(use gerrit already), 2017/07/10 19:38:55]

Maybe GeolocationConfig is a more accurate name?

[asimjour1, 2017/07/10 20:45:50]

The name came from
https://bugs.chromium.org/p/chromium/issues/detail?id=725053
and offline discussion with blundell@. GeolocationConfig works for me, but I'll
wait for blundell@ to confirm.

+  // Returns true if the location is being captured and high_accurary is
+  // enabled.
+  IsHighAccuracyLocationBeingCaptured() => (bool high_accuracy);

[amp, 2017/07/10 20:13:25]

Why not add this to the existing geolocation.mojom that has the setter for high
accuracy?

[asimjour1, 2017/07/10 20:45:50]

Geolocation.mojom is per-frame interface and it is not designed to be used from
chrome/browser.

+};