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

Merge "build: Update MediaWiki requirement to 1.41"

Browse source
This commit is contained in:
jenkins-bot 2023-08-31 05:34:02 +00:00 committed by Gerrit Code Review
parent 36b9492ced 2e46dcf630
commit 406d23f6de
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -12,7 +12,7 @@
"type": "editor",
"license-name": "GPL-2.0-or-later",
"requires": {
"MediaWiki": ">= 1.41.0"
"MediaWiki": ">= 1.41"
},
"config": {
"CodeMirrorLineNumberingNamespaces": {