mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-11-28 00:50:33 +00:00
b5312f1d4c
* Use resource loader embedding for better performance (uses a slightly hacky method to achieve this, the only alternative would be to fix the WikiEditor API, but that would introduce a version dependency) * Use SVGs from OOUI where available or create new ones where not. These are used and available under the OOjs UI MIT licence. * Provide PNG fallbacks using LESS mixin * Remove unused icons Change-Id: If38d51d24958716e2617c4cb515e7c0575cdfeba
9 lines
476 B
XML
9 lines
476 B
XML
<?xml version="1.0" encoding="utf-8"?>
|
|
<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="24" height="24" viewBox="0 0 24 24">
|
|
<g id="wrapping" fill="#347bff">
|
|
<path d="m 4,7 0,2 13,0 c 1.125297,0 2,0.8747028 2,2 0,1.125297 -0.874703,2 -2,2 l -1,0 0,-2 -3,3 3,3 0,-2 1,0 c 2.198703,0 4,-1.801297 4,-4 0,-2.1987028 -1.801297,-4 -4,-4 z" />
|
|
<path d="m 4,15 7,0 0,2 -7,0 z" />
|
|
<path d="m 4,11 7,0 0,2 -7,0 z" />
|
|
</g>
|
|
</svg>
|