diff -r f6d567a99b67 -r 2c74c5927ea2 mozilla-gstreamer.patch --- a/mozilla-gstreamer.patch Wed Oct 24 10:25:01 2012 +0200 +++ b/mozilla-gstreamer.patch Fri Oct 26 13:01:33 2012 +0200 @@ -1,12 +1,12 @@ # HG changeset patch -# Parent e4b87e710b1a5f0bb7db058911bc163b4bf30227 +# Parent b6b96c933ed1acd86ee0201165f696a8c2ebd8eb # User Wolfgang Rosenauer No Bug - use GStreamer _only_ for MP4 (not WebM/OGG) diff --git a/content/html/content/src/nsHTMLMediaElement.cpp b/content/html/content/src/nsHTMLMediaElement.cpp --- a/content/html/content/src/nsHTMLMediaElement.cpp +++ b/content/html/content/src/nsHTMLMediaElement.cpp -@@ -2277,21 +2277,17 @@ nsHTMLMediaElement::CreateDecoder(const +@@ -2437,21 +2437,17 @@ nsHTMLMediaElement::CreateDecoder(const nsRefPtr decoder = new nsRawDecoder(); if (decoder->Init(this)) { return decoder.forget(); @@ -28,7 +28,7 @@ #ifdef MOZ_WAVE if (IsWaveType(aType)) { nsRefPtr decoder = new nsWaveDecoder(); -@@ -2305,21 +2301,17 @@ nsHTMLMediaElement::CreateDecoder(const +@@ -2473,21 +2469,17 @@ nsHTMLMediaElement::CreateDecoder(const nsRefPtr decoder = new nsMediaPluginDecoder(aType); if (decoder->Init(this)) { return decoder.forget(); @@ -48,5 +48,5 @@ } #endif - #ifdef MOZ_GSTREAMER - if (IsH264Type(aType)) { + #ifdef MOZ_DASH + if (IsDASHMPDType(aType)) {