Skip to site navigation (Press enter)

[webkit-changes] [140998] trunk/Source/WebKit/chromium/features.gypi

cevans Mon, 28 Jan 2013 13:13:42 -0800

Title: [140998] trunk/Source/WebKit/chromium/features.gypi

Revision: 140998
Author: [email protected]
Date: 2013-01-28 13:15:32 -0800 (Mon, 28 Jan 2013)

Log Message

Revert 140996
> Revert 130950
> BUG=163593

[email protected]


Modified Paths

trunk/Source/WebKit/chromium/features.gypi

Diff

Modified: trunk/Source/WebKit/chromium/features.gypi (140997 => 140998)


--- trunk/Source/WebKit/chromium/features.gypi	2013-01-28 21:14:42 UTC (rev 140997)
+++ trunk/Source/WebKit/chromium/features.gypi	2013-01-28 21:15:32 UTC (rev 140998)
@@ -87,6 +87,7 @@
       'ENABLE_LEGACY_WEB_AUDIO=1',
       'ENABLE_LINK_PREFETCH=1',
       'ENABLE_LINK_PRERENDER=1',
+      'ENABLE_MATHML=1',
       'ENABLE_MEDIA_SOURCE=1',
       'ENABLE_MEDIA_STATISTICS=1',
       'ENABLE_MEDIA_STREAM=<(enable_webrtc)',

_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes