CREATE TABLE table_24257833_4 (webkit_version VARCHAR(255), minor_version VARCHAR(255))
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"