wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 11:31:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
893 commits 164 branches 5 tags 21 MiB
Commit graph

2 commits

Author SHA1 Message Date
Siebrand Mazeland bf416b175a Maintenance for Gadgets extension. 
* Use Message class.
* Redice globals usage.
* Update .gitignore.

Change-Id: I087c8209b1a7ccf63171a2c14c8809eed90a297b
 2012-08-17 11:28:09 +02:00
Reedy 7bd094ff68 Add .gitignore 
Change-Id: I4a19650ef68655cd8d6238536849a6082c353a96
 2012-05-21 01:36:24 +01:00