Update codemirror.plugin.php

edit