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

Fix module dependencies

Browse source 
* Change dependencies for 'ext.thanks.mobilediff' from
  'mediawiki.notification' to 'mediawiki.notify' because
  ext.thanks.mobilediff.js uses mw.notify and not mw.notification.
* Add module 'mediawiki.api' to dependencies for 'ext.thanks' because
  ext.thanks.thank.js uses mw.Api.

Change-Id: Icae08555c5ec0297c390e5161f9269b9c84f1145
This commit is contained in:
Fomafix 2017-06-27 15:28:12 +02:00
parent e2f4f28e3d
commit 2d0c8bd0f8
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
extension.json
View file

@ -59,6 +59,9 @@
"ext.thanks": {
"scripts": [
"ext.thanks.thank.js"
],
"dependencies": [
"mediawiki.api"
]
},
"ext.thanks.revthank": {
@ -99,7 +102,7 @@
],
"dependencies": [
"mediawiki.api",
"mediawiki.notification"
"mediawiki.notify"
],
"targets": [
"desktop",