copy of https://git.chromium.org/git/external/WebKit_trimmed.git