Re: [Phpmyadmin-devel] Codemirror highlighting glitch