On Fri, Jan 16, 2015 at 4:18 PM, Marc Delisle marc@infomarc.info wrote:
Hi, I tried https://github.com/phpmyadmin/phpmyadmin/pull/1450 and it works fine for me.
Even if this is a new parser, the code won't affect anything but the new Format option so I am in favor of merging it.
I am also in favor.
Either the GSoC project on parser or an improved version of CodeMirror formatter may override this in the future. But for now, since this works just fine, I think it makes sense to merge it.