Use the term "control key" instead of "ctrl key".
Created attachment 361245 [details] Patch
We can't change the use of "ctrl" in the DOM, but we can standard on "control" everywhere else.
Created attachment 361310 [details] Patch
Comment on attachment 361310 [details] Patch Clearing flags on attachment: 361310 Committed r241044: <https://trac.webkit.org/changeset/241044>
All reviewed patches have been landed. Closing bug.
<rdar://problem/47861844>