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

Merge "Convert to manifest_version 2"

Browse source
This commit is contained in:
jenkins-bot 2020-05-12 16:09:19 +00:00 committed by Gerrit Code Review
parent 12f7b9943f ba2603977b
commit 3a74c5d2d5
1 changed files with 26 additions and 18 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

44
extension.json
View file

@ -188,23 +188,31 @@
"PageHistoryBeforeList": "ThanksHooks::onPageHistoryBeforeList" "PageHistoryBeforeList": "ThanksHooks::onPageHistoryBeforeList"
}, },
"config": { "config": {
"ThanksSendToBots": false, "ThanksSendToBots": {
"ThanksLogging": true, "value": false
"ThanksConfirmationRequired": true, },
"ThanksLogTypeWhitelist": [ "ThanksLogging": {
"contentmodel", "value": true
"create", },
"delete", "ThanksConfirmationRequired": {
"import", "value": true
"merge", },
"move", "ThanksLogTypeWhitelist": {
"patrol", "value": [
"protect", "contentmodel",
"tag", "create",
"managetags", "delete",
"rights", "import",
"lock" "merge",
] "move",
"patrol",
"protect",
"tag",
"managetags",
"rights",
"lock"
]
}
}, },
"manifest_version": 1 "manifest_version": 2
} }