core-deps-3.12/14: WebKitGTK+ 2.4.2