fixed php codemirror issues