jquery codemirror plugin: version check