wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-12 08:50:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
153 commits 277 branches 0 tags 45 MiB
Commit graph

2 commits

Author SHA1 Message Date
Ed Sanders 02c22f53ff Styling fixes 
* Move CSS out of mediawiki.css which is for wikitext
  highlighting rules.
* Account for wikieditor-ui adding wrappers even when
  disabled.

Change-Id: I0fca693a6771ee1d790800c9afd5c7091fda20c1
 2017-03-27 14:02:25 +01:00
Ed Sanders 3980fa0af0 Cleanup and use SVG icons 
Change-Id: Idcad8e2554c5e44155c88bd925186095e3aad930
 2017-03-27 02:59:13 +00:00