Kaldari has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/344132 )
Change subject: Cleanup and use SVG icons ...................................................................... Cleanup and use SVG icons Change-Id: Idcad8e2554c5e44155c88bd925186095e3aad930 --- M extension.json M resources/ext.CodeMirror.js A resources/ext.CodeMirror.less M resources/images/cm-off.png M resources/images/cm-off.svg M resources/images/cm-on.png M resources/images/cm-on.svg M resources/images/old-cm-off.png M resources/images/old-cm-off.svg M resources/images/old-cm-on.png M resources/images/old-cm-on.svg 11 files changed, 246 insertions(+), 2,509 deletions(-) Approvals: jenkins-bot: Verified Kaldari: Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/344132 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Idcad8e2554c5e44155c88bd925186095e3aad930 Gerrit-PatchSet: 6 Gerrit-Project: mediawiki/extensions/CodeMirror Gerrit-Branch: master Gerrit-Owner: Esanders <[email protected]> Gerrit-Reviewer: Kaldari <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
