wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-12-21 19:22:39 +00:00
Code Issues Packages Projects Releases Wiki Activity
803 commits 15 branches 25 tags 23 MiB
Commit graph

803 commits

This branch
This branch
All branches
Author SHA1 Message Date
Daniel Kinzler ebc206ba2b normalize gadget names, allow spaces 2007-08-01 21:25:27 +00:00
Daniel Kinzler 124364fb2e fixed i18n issues 2007-07-31 22:28:30 +00:00
Daniel Kinzler 724a7b85d9 Gadgets extension: enable JS based gadgets via user preferences 2007-07-31 10:21:34 +00:00