Fix Opera browser detection in javascript (#1490307)

Aleksander Machniak

2015-03-08 c13dd984e1bdd668c6b7b4c43c34081e8b1be6c2

1
2
3
4
5
6
-- Updates from version 0.9-beta
 
CREATE TABLE IF NOT EXISTS system (
  name varchar(64) NOT NULL PRIMARY KEY,
  value text NOT NULL
);