wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-24 00:06:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Set manifest_version in extension.json

Browse source 
Bug: T100745
Change-Id: I002981d1b755116757a4789fd2f8d198200ab7fc
This commit is contained in:
Kunal Mehta 2015-05-28 20:38:52 -07:00
parent 7744070c40
commit 6080404f7d
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -419,5 +419,6 @@
},
"AutoloadClasses": {
"WikiEditorHooks": "WikiEditor.hooks.php"
}
},
"manifest_version": 1
}