From e5bd6297cee7cd476dbf2e1dc8a3b526ff12ac27 Mon Sep 17 00:00:00 2001
From: Chris Nardi <christopherncarmel@hotmail.com>
Date: Tue, 19 Jun 2018 19:10:28 -0400
Subject: [PATCH] [css-animations] Change definition of GlobalEventHandlers to
 mixin (#2797)

GlobalEventHandlers is now defined as a mixin per https://html.spec.whatwg.org/multipage/webappapis.html#globaleventhandlers. Update the partial interface's definition to indicate that it is a mixin.
---
 css-animations-1/Overview.bs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/css-animations-1/Overview.bs b/css-animations-1/Overview.bs
index 43cb924fd37..134597bcab7 100644
--- a/css-animations-1/Overview.bs
+++ b/css-animations-1/Overview.bs
@@ -1308,7 +1308,7 @@ events</a> as defined in
 IDL Definition</h4>
 
 <pre class="idl">
-partial interface GlobalEventHandlers {
+partial interface mixin GlobalEventHandlers {
   attribute EventHandler onanimationstart;
   attribute EventHandler onanimationiteration;
   attribute EventHandler onanimationend;