diff options
Diffstat (limited to 'extra/webkitgtk/python3.patch')
-rw-r--r-- | extra/webkitgtk/python3.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/extra/webkitgtk/python3.patch b/extra/webkitgtk/python3.patch new file mode 100644 index 000000000..efd640043 --- /dev/null +++ b/extra/webkitgtk/python3.patch @@ -0,0 +1,20 @@ +diff --git a/Tools/gtk/generate-feature-defines-files b/Tools/gtk/generate-feature-defines-files +index 1a92bf50a05831655308cb62646eb05a6db4b63c..f5b2c7e61eab12bf0eb25b0f9c595f2fd83ebbe9 100755 +--- a/Tools/gtk/generate-feature-defines-files ++++ b/Tools/gtk/generate-feature-defines-files +@@ -32,13 +32,13 @@ def write_file_if_contents_changed(filename, contents): + + def write_feature_defines_header(feature_defines): + contents = '' +- for (feature, value) in feature_defines.iteritems(): ++ for (feature, value) in 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.iteritems(): ++ for (feature, value) in feature_defines.items(): + contents += '{0}={1}\n'.format(feature, value) + write_file_if_contents_changed("WebKitFeatures.txt", contents) + |