wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-13 17:53:22 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/tests/phpunit
History
Timo Tijhof 3dd92c6f76 Remove duplicate loading of styles (assume type=general if content is mixed) 
Follows-up dc834f3, dc4ea6c.

Bug: T92459
Bug: T42284
Change-Id: I94dbdb052a78bbbc3c1b7b8bb8805a5f327670d9
2017-05-12 21:44:42 +00:00
..
GadgetTest.php Remove duplicate loading of styles (assume type=general if content is mixed) 2017-05-12 21:44:42 +00:00