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

extension.json: Drop 'es6' flag, always true since MediaWiki 1.41

Browse source 
Change-Id: I6f8b1ce80138a98037ac245b2dc551c5e9167349
This commit is contained in:
James D. Forrester 2024-01-12 19:04:39 -05:00
parent a3f3cf9e3f
commit 2ef5278784
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -144,7 +144,6 @@
}
},
"ext.popups": {
"es6": true,
"packageFiles": [
{
"name": "resources/ext.popups/types.json",
@ -154,7 +153,6 @@
]
},
"ext.popups.main": {
"es6": true,
"scripts": [
"resources/dist/index.js"
],