wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-12-14 06:59:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../resources/images
History
Ed Sanders 6d92dd818d Use upstream OOUI icons for WikiEditor toolbar 
Also uses upstream tool-active styling, which was
based on cm-on.svg.

Depends-On: I3e6f65f6f290778d3fbfa22f5d212c26fee12a86
Change-Id: Ib42be9f8b87efe1387eb5c77698fd2f0af0a673d
2018-03-23 13:43:30 +00:00
..
codemirror-beta-ltr.svg Unify BetaFeatures SVG screenshot markup 2017-12-01 18:52:17 +00:00
codemirror-beta-rtl.svg Unify BetaFeatures SVG screenshot markup 2017-12-01 18:52:17 +00:00
old-cm-off.png Switch icons to 'highlighter' symbol 2017-08-02 11:20:44 +08:00
old-cm-off.svg Switch icons to 'highlighter' symbol 2017-08-02 11:20:44 +08:00
old-cm-on.png Switch icons to 'highlighter' symbol 2017-08-02 11:20:44 +08:00
old-cm-on.svg Switch icons to 'highlighter' symbol 2017-08-02 11:20:44 +08:00