I actually wanted to ask him if he is still working on it or not as I thought I may have a solution which does not require change in the CodeMirror addon.
But it seems like he has proposed changes to upstream. So leaving it.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Example:
Is anyone still working on this?
Maybe this student?
https://github.com/phpmyadmin/phpmyadmin/pull/1503
I actually wanted to ask him if he is still working on it or not as I thought I may have a solution which does not require change in the CodeMirror addon.
But it seems like he has proposed changes to upstream. So leaving it.
Implemented: https://github.com/phpmyadmin/phpmyadmin/pull/1514