Patches for WebKit