minor fix

Not support Opera 11 any more.
Update CodeMirror