It's unused, we no longer create PlatformMouseEvent from a GdkEvent since WebKit2.
Created attachment 396968 [details] Patch
Committed r260420: <https://trac.webkit.org/changeset/260420>