mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets
synced 2024-12-04 11:48:14 +00:00
7d1c8336e3
The singular Html::rawElement call does the same but is more robust. Change-Id: I0dda45dff8b49ce877b57bb88b88f08f6b26ac8b |
||
---|---|---|
.. | ||
SpecialGadgets.php | ||
SpecialGadgetUsage.php |