What is the webkit version when the minor version was 3.1.2.?
CREATE TABLE "windows" (
  "major_version" text,
  "minor_version" text,
  "web_kit_version" text,
  "operating_system" text,
  "release_date" text,
  "features" text
);
SELECT "web_kit_version" FROM "windows" WHERE "minor_version"='3.1.2';