wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-28 01:00:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/includes/Special
History
thiemowmde 7d1c8336e3 Drop a few easy to avoid Html::open/closeElement 
The singular Html::rawElement call does the same but is more robust.

Change-Id: I0dda45dff8b49ce877b57bb88b88f08f6b26ac8b
2024-04-29 12:53:07 +02:00
..
SpecialGadgets.php Improve localisation on Special:Gadgets, minor code cleanups 2024-03-25 15:37:40 -07:00
SpecialGadgetUsage.php Drop a few easy to avoid Html::open/closeElement 2024-04-29 12:53:07 +02:00