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
mediawiki-extensions-Gadgets/includes
History
Thiemo Mättig 6b22f1089e Use …->assertArrayHasKey() instead of isset() 
… as well as update a line of documentation I had stashed. I think this
does not need it's own patch, or does it?

Change-Id: I99eee1f7b5ec96c1c75e73d66200bc41807452fa
2017-05-31 07:52:18 +00:00
..
content Code style/uniformity cleanups to GadgetDefinitionNamespaceRepo 2017-03-02 21:32:54 -08:00
GadgetDefinitionNamespaceRepo.php Code style/uniformity cleanups to GadgetDefinitionNamespaceRepo 2017-03-02 21:32:54 -08:00
GadgetRepo.php Convert PHP syntax from array() to [] 2016-12-28 13:51:30 +01:00
GadgetResourceLoaderModule.php Revert "Move gadget styles from main stylesheet request to site request" 2017-05-11 17:15:20 +00:00
MediaWikiGadgetsDefinitionRepo.php Use …->assertArrayHasKey() instead of isset() 2017-05-31 07:52:18 +00:00