Table schema:
CREATE TABLE table_24257833_4 (webkit_version VARCHAR, minor_version VARCHAR)

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