File webkitgtk-python3.patch of Package webkitgtk

Index: webkitgtk-2.4.11/Tools/gtk/generate-feature-defines-files
===================================================================
--- webkitgtk-2.4.11.orig/Tools/gtk/generate-feature-defines-files
+++ webkitgtk-2.4.11/Tools/gtk/generate-feature-defines-files
@@ -1,5 +1,5 @@
-#!/usr/bin/env python
-from __future__ import with_statement
+#!/usr/bin/python3
+
 import os
 import re
 import sys
@@ -18,7 +18,7 @@ def read_feature_defines_override(featur
         value = int(match[1])
 
         if feature in feature_defines and value != feature_defines[feature]:
-            print("\t{0}: {1} => {2}".format(feature, feature_defines[feature], value))
+            print(("\t{0}: {1} => {2}".format(feature, feature_defines[feature], value)))
         feature_defines[feature] = value
 
 def write_file_if_contents_changed(filename, contents):
@@ -32,13 +32,13 @@ def write_file_if_contents_changed(filen
 
 def write_feature_defines_header(feature_defines):
     contents = ''
-    for (feature, value) in feature_defines.items():
+    for (feature, value) in list(feature_defines.items()):
         contents += '#define {0} {1}\n'.format(feature, value)
     write_file_if_contents_changed("WebKitFeatures.h", contents)
 
 def write_flattened_feature_defines_file(feature_defines):
     contents = ''
-    for (feature, value) in feature_defines.items():
+    for (feature, value) in list(feature_defines.items()):
         contents += '{0}={1}\n'.format(feature, value)
     write_file_if_contents_changed("WebKitFeatures.txt", contents)