wikimedia/mediawiki-extensions-Thanks
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks synced 2024-11-15 10:59:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Reflect change in MobileFrontend

Browse source 
Change-Id: I352789c0371a079435cd85f07450d61fedff3b50
Dependency: Ibe727f345ba7ce63d1157f3a169f5267ea5b6481
This commit is contained in:
jrobson 2014-02-03 18:23:22 -08:00 committed by kaldari
parent a0b4b4895a
commit 0b5d68154c
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Thanks.php
View file

@ -93,7 +93,8 @@ $wgResourceModules['ext.thanks'] = array(
);
$wgResourceModules['ext.thanks.mobilediff'] = array(
'dependencies' => array(
'mobile.mobilediff.scripts',
// Module name changed in MobileFrontend on 2014-02-25
'mobile.special.mobilediff.scripts',
),
'scripts' => array(
'ext.thanks.mobilediff.js',