From d9c487dfd1b3e249fdbf3a094f625357907c6d77 Mon Sep 17 00:00:00 2001
From: Gaming4JC <g4jc@hyperbola.info>
Date: Sun, 7 Jun 2020 18:58:28 -0400
Subject: [PATCH] Issue #1580 - Add missing MP3Demuxer.h to
 MediaDecoderReader.h

Follow up for dom/media work on Issue #80. Fixes non-optimized build bustage.
---
 dom/media/MediaDecoderReader.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dom/media/MediaDecoderReader.h b/dom/media/MediaDecoderReader.h
index f53c74689f..a31687be87 100644
--- a/dom/media/MediaDecoderReader.h
+++ b/dom/media/MediaDecoderReader.h
@@ -17,6 +17,7 @@
 #include "MediaMetadataManager.h"
 #include "MediaQueue.h"
 #include "MediaTimer.h"
+#include "MP3Demuxer.h"
 #include "AudioCompactor.h"
 #include "Intervals.h"
 #include "TimeUnits.h"