wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-25 08:15:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
2893 commits 164 branches 0 tags 74 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
Justin Du 7d2a15d3bc Clarify some notification icons 
* edit-user-talk
* mention
* user-rights
* emailuser

Bug: T121735
Change-Id: I72e382b9ff9d19c6acc0df507fdff65732b66450
 2016-01-13 14:00:37 -08:00