wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-23 14:56:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

Convert to manifest_version 2

Browse source 
Bug: T252470
Change-Id: If5e8b31de0601be9f432196884eaafcc2b8b096d
This commit is contained in:
Reedy 2020-05-12 00:01:26 +01:00
parent a0c219557e
commit f7eb59064f
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

@ -132,5 +132,5 @@
"AutoloadClasses": {
"CodeEditorHooks": "includes/CodeEditorHooks.php"
},
"manifest_version": 1
"manifest_version": 2
}