| Index: chrome/browser/media/router/media_router.mojom
|
| diff --git a/chrome/browser/media/router/media_router.mojom b/chrome/browser/media/router/media_router.mojom
|
| index e67b327f5571e0419906741eeae7448f81d9ac6e..12fefa9570136be4fe22b702048466058c4c0737 100644
|
| --- a/chrome/browser/media/router/media_router.mojom
|
| +++ b/chrome/browser/media/router/media_router.mojom
|
| @@ -96,7 +96,8 @@ interface MediaRouter {
|
|
|
| // Sends |message| with optional |extra_info_json| via the media route
|
| // |media_route_id|.
|
| - PostMessage(string media_route_id, string message);
|
| + // If the operation was sucessfull, |sent| is true; otherwise it is false.
|
| + PostMessage(string media_route_id, string message) => (bool sent);
|
|
|
| // Starts querying for sinks capable of displaying |media_source|.
|
| StartObservingMediaSinks(string media_source);
|
|
|