wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-23 22:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove use of jquery.ui module aliases

Browse source 
This increases the extension's dependency to MW 1.34+.

Bug: T219604
Change-Id: Ic78f8eba5c18bfa6ee3e70277504cf7b17975387
This commit is contained in:
Timo Tijhof 2019-11-25 22:44:30 +00:00
parent 796340ae08
commit 1bfbc6e045
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
extension.json
View file

@ -10,7 +10,7 @@
"type": "editor",
"license-name": "GPL-2.0-or-later",
"requires": {
"MediaWiki": ">= 1.32.0"
"MediaWiki": ">= 1.34.0"
},
"MessagesDirs": {
"CodeMirror": [
@ -29,7 +29,7 @@
"mediawiki.api",
"mediawiki.user",
"user.options",
"jquery.ui.resizable",
"jquery.ui",
"oojs-ui.styles.icons-editing-styling"
],
"scripts": [