Update codemirror.plugin.php

A small bug fixes and changes in highlighting Snippets