wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-09-24 02:38:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Update MediaWiki requirement to 1.41

Browse source 
All extensions in Wikimedia production are expected to track MediaWiki's release directly.

Change-Id: I1898175817b67e3255376e4817ffca3d4a739d62
This commit is contained in:
James D. Forrester 2023-08-19 13:10:53 +08:00
parent 7a49382bdf
commit 2e46dcf630
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": {