mediawiki-extensions-CodeEd.../modules
Volker E e90acf0ab4 Align colors to WikimediaUI color palette
Aligning colors to overhauled color palette, ensuring WCAG level AA
conformance. Also removing unnecessary `xmlns:xlink` where applicable.

Bug: T160602
Change-Id: I958d1868cd5ff80226af566dfe34885f1932b16e
2017-03-15 19:31:55 -07:00
..
ace Update Ace and use scoped require / define 2016-03-14 00:26:27 +01:00
ext.codeEditor.js Replace $( document ).ready(...) by $(...) 2017-01-05 23:03:28 +01:00
jquery.codeEditor.js Use OOUI for prompt dialog 2017-01-09 15:39:27 -08:00
jquery.codeEditor.less Align colors to WikimediaUI color palette 2017-03-15 19:31:55 -07:00