Replacing codemirror ver 0.93 by ver 3.13 and using it in PM.