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

Convert to manifest_version 2

Browse source 
Bug: T252470
Change-Id: I8e58023cb044c9000325a275d0ae7e2f44142414
This commit is contained in:
Reedy 2020-05-12 02:12:31 +01:00
parent 200349d368
commit 9ff90afde4
1 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
extension.json
View file

@ -300,12 +300,14 @@
"localBasePath": "",
"remoteExtPath": "WikiEditor",
"scripts": "tests/qunit/ext.wikiEditor.toolbar.test.js",
"dependencies": [ "ext.wikiEditor" ]
"dependencies": [
"ext.wikiEditor"
]
},
"DefaultUserOptions": {
"usebetatoolbar": true
},
"RawHtmlMessages":[
"RawHtmlMessages": [
"wikieditor-toolbar-help-heading-description",
"wikieditor-toolbar-help-heading-syntax",
"wikieditor-toolbar-help-heading-result",
@ -377,5 +379,5 @@
"AutoloadClasses": {
"WikiEditorHooks": "includes/WikiEditorHooks.php"
},
"manifest_version": 1
"manifest_version": 2
}