chromium/src/third_party/blink/renderer/modules/remoteplayback/html_media_element_remote_playback.idl

// Copyright 2015 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.

// https://w3c.github.io/remote-playback/#extension-to-the-htmlmediaelement

[
    ImplementedAs=HTMLMediaElementRemotePlayback
] partial interface HTMLMediaElement {
    [Measure, RuntimeEnabled=RemotePlayback] readonly attribute RemotePlayback remote;
    [CEReactions, Reflect, RuntimeEnabled=RemotePlayback] attribute boolean disableRemotePlayback;
};