mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-11-15 19:39:27 +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
5 lines
540 B
XML
5 lines
540 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">
|
|
<path d="m 10.041164,6.0000146 6.958836,0 0,1.499718 -1.5,4.754e-4 0,10.500245 -1.5,0 0,-10.500245 -2.5,0 0,10.500245 -1.5,-4.76e-4 0,-6.006954 C 8.7805614,11.91291 7.6646755,11.611794 6.9954024,11.0911 6.3318007,10.565652 6,9.8674581 6,8.9963601 6,8.0970523 6.3686675,7.3727882 7.1060025,6.8236471 7.8433375,6.2745059 8.8217243,6.0000146 10.041164,6.0000146 Z" />
|
|
</svg>
|