wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-25 00:05:29 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/modules/base
History
Siebrand Mazeland 69d91fa1b6 Update documentation and deprecated methods. 
Basically having fun with the code analyzer.

Also:
* remove unused local variable assignments
* missing return values
* CSS optimizations.
* Initialize possible unset variables.

Change-Id: I77aa08ecb48eeda08f14dc38d7f35d57ea9fa110
2012-09-02 11:30:38 +02:00
..
ext.echo.base.css Update documentation and deprecated methods. 2012-09-02 11:30:38 +02:00
ext.echo.base.js Follow-up I2c10cb69: Auto-formatted using IDE. 2012-08-31 23:50:46 +02:00
unread.png Shrink file size of PNGs (yay, lossless compression) 2012-08-01 22:28:29 +01:00