wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-12-26 13:42:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/includes
History
libraryupgrader 969027392e build: Updating mediawiki/mediawiki-codesniffer to 13.0.0 
Change-Id: I40598f8c34691bbe7b217aa38f24f150a210e2f3
2017-09-24 05:26:03 +00:00
..
content Improve some parameter docs 2017-08-27 16:07:08 +02:00
GadgetDefinitionNamespaceRepo.php build: Updating mediawiki/mediawiki-codesniffer to 13.0.0 2017-09-24 05:26:03 +00:00
GadgetRepo.php Convert PHP syntax from array() to [] 2016-12-28 13:51:30 +01:00
GadgetResourceLoaderModule.php Improve some parameter docs 2017-08-27 16:07:08 +02:00
MediaWikiGadgetsDefinitionRepo.php Merge "Account for DB lag in loadGadgets() caching" 2017-09-01 02:09:40 +00:00