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

Acknowledge that gadgets have their position explicitly defined

Browse source 
Bug: T97410
Change-Id: Ie5dff4f63a0068f47daf4e6d1fcc7a99d008ca52
This commit is contained in:
Gilles Dubuc 2015-05-26 12:04:33 +02:00
parent 9383a1fd20
commit 3b141e7276
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Gadgets_body.php
View file

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