webkit-gtk: Remove dead configure option
--- trunk/dports/www/webkit-gtk/Portfile 2013-07-29 18:00:22 UTC (rev 108653)
+++ trunk/dports/www/webkit-gtk/Portfile 2013-07-29 18:50:07 UTC (rev 108654)
@@ -75,7 +75,6 @@
--disable-video \
--enable-svg \
--enable-geolocation \
- --enable-media-stream \
--enable-webgl
# https://bugs.webkit.org/show_bug.cgi?id=94488