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
973 commits 164 branches 5 tags 21 MiB
Commit graph

2 commits

Author SHA1 Message Date
Kunal Mehta 083aea8580 Remove unused i18n shim 
Change-Id: I3fa71465277a3119c5deca86668a0128ac78caba
 2015-05-01 21:58:14 -07:00
paladox f9a55554ee Add extension.json, empty PHP entry point 
Bug: T87918
Change-Id: Iacd056781823bd73144c5fa09cd884ee8e9cf0d4
 2015-05-01 21:56:54 -07:00