this file should not be in this commit. This function comes from the codemirror website.