wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-25 07:45:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
1543 commits 165 branches 5 tags 22 MiB
Commit graph

4 commits

Author SHA1 Message Date
Fomafix 3aeffaa12b SpecialGadgetUsage: Add <thead> and <tbody> in the table 
Change-Id: I53f61ce4c7d0721171a455e25b560ce33d4109b9
 2018-07-30 21:38:20 +02:00
Umherirrender 75ce384e42 Change ResultWrapper to IResultWrapper in special page 
Follows core change I22ec4d3a9a19fc86efc9a2deb06f810695d38c85

Change-Id: I3f5e63478761e2cf312f75771b152d01111a3fa6
 2018-04-07 10:35:58 +02:00
Kunal Mehta e99e181303 Add phan configuration 
Depends-On: I09a0c0a786b687997e61344847f8af08b20cebf2
Change-Id: I9500232fb524e884d6cb15f2bdda10835df35ad4
 2018-02-26 12:57:40 -08:00
Kunal Mehta 677d4e932c Move classes into includes/ 
Change-Id: I10bc5234ad2ebeed2514aafc3dbe2a0afa983bd8
 2018-02-25 11:19:23 +00:00
Renamed from SpecialGadgetUsage.php (Browse further)