webkit-gtk3: update to 1.3.13.

--HG--
branch : gnome3

srcpkgs/webkit-gtk3/template

@@ -1,17 +1,15 @@
 # Template file for 'webkit-gtk3'
 pkgname=webkit-gtk3
-version=1.3.12
-revision=1
+version=1.3.13
 wrksrc=webkit-${version}
 distfiles="http://www.webkitgtk.org/webkit-${version}.tar.gz"
 build_style=gnu_configure
-configure_args="--enable-video --with-gtk=3.0
---enable-3d-transforms --with-font-backend=pango --enable-3d-transforms
---enable-jit --enable-introspection --with-unicode-backend=icu
---disable-schemas-compile --enable-directory-upload"
+configure_args="--enable-video --with-gtk=3.0 --enable-jit
+--enable-3d-transforms --with-font-backend=freetype --enable-introspection
+--with-unicode-backend=icu --disable-schemas-compile"
 short_desc="GTK+3 port of the WebKit browser engine"
 maintainer="Juan RP <xtraeme@gmail.com>"
-checksum=5ce06f50e99c2ad1b7061cdbf66ee7dabce580f3013686397ff903fa3562dd22
+checksum=a35e8b69c9acb94c4d5d4bdd5b92ae3d3255b7f60ed785ac7cdf325a15197f89
 long_desc="
  WebKit is an open source web browser engine. WebKit is also the name of
  the Mac OS X system framework version of the engine that's used by