wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-13 16:39:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/modules/special
History
Matthias Mullie e8d1f6a888 Remove param index 
It's (mostly) unused, and it would become problematic once we have
notifications from multiple places (where those ids could conflict)

Change-Id: Ib3bb5ae1e5689037b38290c9ce3d8691f52582b0
2016-04-21 13:33:15 +02:00
..
ext.echo.special.js Remove param index 2016-04-21 13:33:15 +02:00
Feedback.png Revert "Compress PNGs with zopflipng" 2016-03-03 19:57:02 +00:00
FeedbackHover.png Revert "Compress PNGs with zopflipng" 2016-03-03 19:57:02 +00:00
Help.png Revert "Compress PNGs with zopflipng" 2016-03-03 19:57:02 +00:00
MoreInfo.png Revert "Compress PNGs with zopflipng" 2016-03-03 19:57:02 +00:00
MoreInfoHover.png Revert "Compress PNGs with zopflipng" 2016-03-03 19:57:02 +00:00
Preferences.png Revert "Compress PNGs with zopflipng" 2016-03-03 19:57:02 +00:00