wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 07:54:13 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/modules
History
Andrew Garrett e48be3b311 Echo: Replace placeholders with real icons 
Change-Id: I4af816746200bedfbfa16bf4079bd36febc35d96
2012-08-01 11:35:58 -07:00
..
base Formatting updates for Echo. 2012-08-01 10:37:17 -07:00
icons Echo: Replace placeholders with real icons 2012-08-01 11:35:58 -07:00
overlay Formatting updates for Echo. 2012-08-01 10:37:17 -07:00