ICORE - Revision 6640: /PHPMYADMIN/js/codemirror/addon/lint