Add Chromium-side changes for MediaSource::isTypeSupported()

webkit/glue/webkitplatformsupport_impl.cc

Index: webkit/glue/webkitplatformsupport_impl.cc
diff --git a/webkit/glue/webkitplatformsupport_impl.cc b/webkit/glue/webkitplatformsupport_impl.cc
index bb06120ab85ae73ee87eb9b9da2c00472f9afc54..64fc9d4922caf50ce64e6bb80e20d3ece4ab1c97 100644
--- a/webkit/glue/webkitplatformsupport_impl.cc
+++ b/webkit/glue/webkitplatformsupport_impl.cc
@@ -51,6 +51,7 @@
 #include "webkit/glue/weburlloader_impl.h"
 #include "webkit/glue/worker_task_runner.h"
 #include "webkit/media/audio_decoder.h"
+#include "webkit/media/webmediasourceclient_impl.h"
 #include "webkit/plugins/npapi/plugin_instance.h"
 #include "webkit/plugins/webplugininfo.h"
 #include "webkit/user_agent/user_agent.h"
@@ -961,5 +962,10 @@ WebKit::WebDiscardableMemory*
   return NULL;
 }
 
+bool WebKitPlatformSupportImpl::isTypeSupportedForMediaSource(
+    const WebKit::WebString& type,
+    const WebKit::WebVector<WebKit::WebString>& codecs) {
+  return webkit_media::WebMediaSourceClientImpl::isTypeSupported(type, codecs);
+}
 
 }  // namespace webkit_glue