wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-28 09:10:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove position default logic

Browse source 
Follows-up 3b141e7.

See also Ib9821b7b87 in MediaWiki core.

Change-Id: If385f4c9bcf88b824099effa3c5b93545f372e82
This commit is contained in:
Timo Tijhof 2015-10-27 03:40:23 +00:00
parent e6b44db894
commit e009534e5c
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
includes/GadgetResourceLoaderModule.php
View file

@ -25,7 +25,6 @@ class GadgetResourceLoaderModule extends ResourceLoaderWikiModule {
$this->dependencies = $dependencies;
$this->targets = $targets;
$this->position = $position;
$this->isPositionDefined = true;
$this->messages = $messages;
}