wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-11 16:58:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add dependency to mediawiki.api in ResourceLoader

Browse source 
Change-Id: I6911e1e592362acdca8ca9d63b7a8b5e2094028f
This commit is contained in:
Prateek Saxena 2014-02-07 11:52:14 +05:30
parent cc61893f0b
commit 7cadfed0be
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Popups.php
View file

@ -46,6 +46,9 @@ $wgResourceModules = array_merge( $wgResourceModules, array(
'resources/ext.popups.core.less',
'resources/ext.popups.animation.less',
),
'dependencies' => array(
'mediawiki.api',
),
'remoteExtPath' => $remoteExtPath,
'localBasePath' => $localBasePath,
),