wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 19:39:33 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/includes/content
History
Timo Tijhof 846b979578 Remove redundant 'position', 'top', and getPosition() code 
Unused as of bc374082fa in MediaWiki core (T109837).

Change-Id: Idcec3c4fa2bc3bc05ac417062139794880040a6d
2016-11-18 13:55:30 -08:00
..
GadgetDefinitionContent.php Use tabs for indenting Gadget definition pages 2016-05-31 00:23:12 +00:00
GadgetDefinitionContentHandler.php Remove redundant 'position', 'top', and getPosition() code 2016-11-18 13:55:30 -08:00
GadgetDefinitionDeletionUpdate.php Implement Gadgets definition namespace repo 2015-11-20 12:01:21 -06:00
GadgetDefinitionSecondaryDataUpdate.php Implement Gadgets definition namespace repo 2015-11-20 12:01:21 -06:00
GadgetDefinitionValidator.php Remove redundant 'position', 'top', and getPosition() code 2016-11-18 13:55:30 -08:00
schema.json Remove redundant 'position', 'top', and getPosition() code 2016-11-18 13:55:30 -08:00