Ignore:
Timestamp:
Aug 20, 2012, 10:39:03 PM (8 years ago)
Author:
jeremyhu@…
Message:

webkit-gtk: Add additional notes for other patches and bugs. Add myself to maintainers. Add media stream and media statistics.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/www/webkit-gtk/Portfile

    r96888 r96891  
    88epoch           1
    99version         1.8.2
    10 revision    1
     10revision        2
    1111description     Apple's WebKit HTML rendering library for GTK+
    1212long_description ${description}
    13 maintainers     devans
     13maintainers     jeremyhu devans
    1414categories      www gnome
    1515platforms       darwin freebsd
     
    4040        port:gtk-doc
    4141
     42# case-insensitive.patch: https://bugs.webkit.org/show_bug.cgi?id=65811
     43# our-icu.patch: No upstream bug report, probably not wanted
     44# xrender-check.patch: https://bugs.webkit.org/show_bug.cgi?id=84095
    4245# quartz.patch: https://bugs.webkit.org/show_bug.cgi?id=84423
     46# bison-2.6.patch: No upstream bug (?)
    4347
    4448patchfiles \
     
    5559        --enable-image-resizer \
    5660        --disable-video \
     61        --enable-media-statistics \
     62        --enable-media-stream \
    5763        --enable-svg \
    5864        --enable-geolocation \
     
    100106# ./DerivedSources/webkit/WebKitDOMHTMLMediaElement.h:101: error: 'WebKitDOMUint8Array' has not been declared
    101107#        --enable-media-source \
    102 #        --enable-media-statistics \
    103 #        --enable-media-stream \
    104108
    105109# In 1.8.2:
Note: See TracChangeset for help on using the changeset viewer.