wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-14 11:16:16 +00:00
Code Issues Packages Projects Releases Wiki Activity
3603 commits 163 branches 0 tags 73 MiB
Commit graph

2 commits

Author SHA1 Message Date
James D. Forrester 607c8b76b4 Crush all SVGs with svgo 
Change-Id: I5dddfcb7cb9587b277de4253d4708da28f885821
 2016-01-15 17:05:17 -08:00
Roan Kattouw 5b1fc2b818 Hack around OOUI's icon pack being too large by creating our own 
Bug: T112401
Change-Id: Id2a527dc1f4846985beb2cc4d5562a27d5636d55
 2015-09-14 22:21:45 +02:00