Title: [141000] trunk/Source/WebKit/chromium/features.gypi
- Revision
- 141000
- Author
- cev...@google.com
- Date
- 2013-01-28 13:20:50 -0800 (Mon, 28 Jan 2013)
Log Message
Revert 130950
BUG=163593
Modified Paths
Diff
Modified: trunk/Source/WebKit/chromium/features.gypi (140999 => 141000)
--- trunk/Source/WebKit/chromium/features.gypi 2013-01-28 21:18:14 UTC (rev 140999)
+++ trunk/Source/WebKit/chromium/features.gypi 2013-01-28 21:20:50 UTC (rev 141000)
@@ -87,7 +87,7 @@
'ENABLE_LEGACY_WEB_AUDIO=1',
'ENABLE_LINK_PREFETCH=1',
'ENABLE_LINK_PRERENDER=1',
- 'ENABLE_MATHML=1',
+ 'ENABLE_MATHML=0',
'ENABLE_MEDIA_SOURCE=1',
'ENABLE_MEDIA_STATISTICS=1',
'ENABLE_MEDIA_STREAM=<(enable_webrtc)',
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-changes
