CREATE TABLE table_24257833_4 (webkit_version VARCHAR, minor_version VARCHAR)

What is the webkit version when the minor version was 3.1.2.?
SELECT webkit_version FROM table_24257833_4 WHERE minor_version = "3.1.2"
SELECT "webkit_version" FROM "table_24257833_4" WHERE "3.1.2" = "minor_version"