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

build: Update MediaWiki requirement to 1.39.0

Browse source 
Change-Id: I4f584417cc00f294b3472da24412d2c8be9fafa8
This commit is contained in:
James D. Forrester 2023-03-13 20:12:12 -04:00
parent 2a1fd3930e
commit 3025bd67d2
1 changed files with 9 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
extension.json
View file

@ -10,7 +10,7 @@
"descriptionmsg": "popups-desc",
"license-name": "GPL-2.0-or-later",
"requires": {
"MediaWiki": ">= 1.35.0"
"MediaWiki": ">= 1.39.0"
},
"AutoloadNamespaces": {
"Popups\\": "includes/"
@ -177,13 +177,19 @@
}
},
"ext.popups": {
"targets": [ "desktop", "mobile" ],
"targets": [
"desktop",
"mobile"
],
"scripts": [
"resources/ext.popups/index.js"
]
},
"ext.popups.main": {
"targets": [ "desktop", "mobile" ],
"targets": [
"desktop",
"mobile"
],
"scripts": [
"resources/dist/index.js"
],