Title: [133262] trunk/Source/WebCore
- Revision
- 133262
- Author
- roger_f...@apple.com
- Date
- 2012-11-01 19:53:40 -0700 (Thu, 01 Nov 2012)
Log Message
Build fix. http://trac.webkit.org/changeset/133252 broke the Windows build.
https://bugs.webkit.org/show_bug.cgi?id=101008
Reviewed by fisch...@chromium.org.
* html/HTMLMediaElement.cpp:
(WebCore::HTMLMediaElement::clearMediaPlayer):
* html/HTMLMediaElement.h:
(HTMLMediaElement):
Modified Paths
Diff
Modified: trunk/Source/WebCore/ChangeLog (133261 => 133262)
--- trunk/Source/WebCore/ChangeLog 2012-11-02 02:50:19 UTC (rev 133261)
+++ trunk/Source/WebCore/ChangeLog 2012-11-02 02:53:40 UTC (rev 133262)
@@ -1,3 +1,15 @@
+2012-11-01 Roger Fong <roger_f...@apple.com>
+
+ Build fix. http://trac.webkit.org/changeset/133252 broke the Windows build.
+ https://bugs.webkit.org/show_bug.cgi?id=101008
+
+ Reviewed by fisch...@chromium.org.
+
+ * html/HTMLMediaElement.cpp:
+ (WebCore::HTMLMediaElement::clearMediaPlayer):
+ * html/HTMLMediaElement.h:
+ (HTMLMediaElement):
+
2012-11-01 Stephen White <senorbla...@chromium.org>
Unreviewed, rolling out r133244.
Modified: trunk/Source/WebCore/html/HTMLMediaElement.cpp (133261 => 133262)
--- trunk/Source/WebCore/html/HTMLMediaElement.cpp 2012-11-02 02:50:19 UTC (rev 133261)
+++ trunk/Source/WebCore/html/HTMLMediaElement.cpp 2012-11-02 02:53:40 UTC (rev 133262)
@@ -3709,7 +3709,7 @@
#endif
}
-void HTMLMediaElement::clearMediaPlayer(unsigned flags)
+void HTMLMediaElement::clearMediaPlayer(signed flags)
{
#if !ENABLE(PLUGIN_PROXY_FOR_VIDEO)
m_player.clear();
Modified: trunk/Source/WebCore/html/HTMLMediaElement.h (133261 => 133262)
--- trunk/Source/WebCore/html/HTMLMediaElement.h 2012-11-02 02:50:19 UTC (rev 133261)
+++ trunk/Source/WebCore/html/HTMLMediaElement.h 2012-11-02 02:53:40 UTC (rev 133262)
@@ -464,7 +464,7 @@
void scheduleNextSourceChild();
void loadNextSourceChild();
void userCancelledLoad();
- void clearMediaPlayer(unsigned flags);
+ void clearMediaPlayer(signed flags);
bool havePotentialSourceChild();
void noneSupported();
void mediaEngineError(PassRefPtr<MediaError> err);
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
http://lists.webkit.org/mailman/listinfo/webkit-changes
