Update CodeMirrorExtension.php