wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-28 17:20:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Gadgets/includes
History
Timo Tijhof e009534e5c Remove position default logic 
Follows-up 3b141e7.

See also Ib9821b7b87 in MediaWiki core.

Change-Id: If385f4c9bcf88b824099effa3c5b93545f372e82
2015-10-27 03:40:23 +00:00
..
GadgetRepo.php Add abstract GadgetRepo and MediaWikiGadgetsDefinition implementation 2015-08-01 15:10:07 -07:00
GadgetResourceLoaderModule.php Remove position default logic 2015-10-27 03:40:23 +00:00
MediaWikiGadgetsDefinitionRepo.php Remove double whitespaces 2015-10-23 21:11:01 +00:00