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

extension.json: Drop RL targets definitions, no longer honoured

Browse source 
Bug: T328497
Change-Id: I68b07e6f991e489c2c69cd2a49d6ce99b9cb7e91
This commit is contained in:
James D. Forrester 2024-01-12 08:53:25 -05:00
parent 11ffbc33c1
commit 53b4d9e995
1 changed files with 0 additions and 16 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
extension.json
View file

@ -76,10 +76,6 @@
"dependencies": [
"mediawiki.cookie",
"mediawiki.api"
],
"targets": [
"desktop",
"mobile"
]
},
"ext.thanks.corethank": {
@ -105,10 +101,6 @@
"mediawiki.api",
"jquery.confirmable",
"ext.thanks"
],
"targets": [
"desktop",
"mobile"
]
},
"ext.thanks.mobilediff": {
@ -133,10 +125,6 @@
"mobile.startup",
"mediawiki.api",
"mediawiki.jqueryMsg"
],
"targets": [
"desktop",
"mobile"
]
},
"ext.thanks.flowthank": {
@ -155,10 +143,6 @@
"mediawiki.jqueryMsg",
"mediawiki.api",
"ext.thanks"
],
"targets": [
"desktop",
"mobile"
]
}
},