wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-12-20 18:52:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/includes
History
Kunal Mehta 1350d7e41b Use tabs for indenting Gadget definition pages 
For consistency with rest of MediaWiki, especially CodeEditor.

Note that this will cause dirty diffs for any definition pages created
before this patch, but that's not a big deal.

Change-Id: I3ed4b4aa7d18c489b9a322f67ea6ea31e610a257
2016-05-31 00:23:12 +00:00
..
content Use tabs for indenting Gadget definition pages 2016-05-31 00:23:12 +00:00
GadgetDefinitionNamespaceRepo.php Implement Gadgets definition namespace repo 2015-11-20 12:01:21 -06:00
GadgetRepo.php Implement Gadgets definition namespace repo 2015-11-20 12:01:21 -06:00
GadgetResourceLoaderModule.php Implement Gadgets definition namespace repo 2015-11-20 12:01:21 -06:00
MediaWikiGadgetsDefinitionRepo.php Bump MediaWikiGadgetsDefinitionRepo cache version 2015-12-08 16:21:34 -08:00