wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-27 17:20:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/modules/special
History
Thiemo Mättig e205992d0b Remove unused code and fix missing/broken documentation 
General code cleanup as reported by the PHPStorm static code
analysis. I hope it's not a problem that I made a lot of very
different (but all very tiny) changes in a single patch. If you
want to merge this but you think it's better to split it into
several patches first, please tell me.

Change-Id: I2e2c4bb47f8d20e038d28e236e2ff813b30504af
2014-06-04 04:54:00 +00:00
..
ext.echo.special.css Remove unused code and fix missing/broken documentation 2014-06-04 04:54:00 +00:00
ext.echo.special.js Fix some notification badge related issue 2013-10-02 11:25:05 -07:00
Feedback.png (bug 43441) Show preferences icon on Special:Notifications without label except as title 2013-01-01 21:48:44 -08:00
FeedbackHover.png (bug 43441) Show preferences icon on Special:Notifications without label except as title 2013-01-01 21:48:44 -08:00
Help.png Adding Help link to Echo archive page 2013-04-15 16:27:27 -07:00
MoreInfo.png Adding More Info link to Special:Notifications 2013-01-08 14:23:24 -08:00
MoreInfoHover.png Adding More Info link to Special:Notifications 2013-01-08 14:23:24 -08:00
Preferences.png Adding Help link to Echo archive page 2013-04-15 16:27:27 -07:00