Fix Opera browser detection in javascript (#1490307)

Aleksander Machniak

2015-03-08 c13dd984e1bdd668c6b7b4c43c34081e8b1be6c2

1
2
3
4
CREATE TABLE "system" (
    name varchar(64) NOT NULL PRIMARY KEY,
    value text
);