wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-13 17:57:21 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/model
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
..
Event.php Update documentation and deprecated methods. 2012-09-02 11:30:38 +02:00
Notification.php Update documentation and deprecated methods. 2012-09-02 11:30:38 +02:00
Subscription.php Update documentation and deprecated methods. 2012-09-02 11:30:38 +02:00