James D. Forrester 7629004d05 build: Bump various devDependencies to latest ... eslint-config-wikimedia 0.4.0 → 0.5.0 grunt-banana-checker 0.5.0 → 0.6.0 grunt-eslint 19.0.0 → 20.1.0 grunt-stylelint 0.6.0 → 0.8.0 Change-Id: Ia01949112243c5a496896c0a3a5eda261e0f66bd		2017-10-25 10:54:00 -07:00
..
ace	Update ace to 06.08.2017	2017-08-07 00:08:29 +00:00
ext.codeEditor.js	Replace $( document ).ready(...) by $(...)	2017-01-05 23:03:28 +01:00
jquery.codeEditor.js	build: Bump various devDependencies to latest	2017-10-25 10:54:00 -07:00
jquery.codeEditor.less	Hide MediaWiki's "Edit help" links which aren't relevant to non-wikitext content	2017-08-28 14:08:23 +00:00