Diff webkit-gtk-2.40.5-r600 with a webkit-gtk-2.42.0

Thank you!