This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-Echo
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-Echo
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced
2024-11-28 01:30:15 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
fea4484b68
mediawiki-extensions-Echo
/
modules
History
jenkins-bot
738d816a6c
Merge "Fix some JS issues"
2013-06-10 21:57:13 +00:00
..
alert
Echo: Better support for non-default skins, as well as no Javascript
2013-06-07 11:36:19 -07:00
badge
Echo: Better support for non-default skins, as well as no Javascript
2013-06-07 11:36:19 -07:00
base
Echo: Better support for non-default skins, as well as no Javascript
2013-06-07 11:36:19 -07:00
icons
Remove unused W icon, now configured outside extension.
2013-04-29 02:41:53 -04:00
oldicons
Redoing the notification icons and changing some formatting
2012-11-26 13:23:03 -08:00
overlay
Merge "Fix some JS issues"
2013-06-10 21:57:13 +00:00
special
Echo: Better support for non-default skins, as well as no Javascript
2013-06-07 11:36:19 -07:00