jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/396449 )
Change subject: UserGifts: Remove duplicate DefaultUserOptions block
......................................................................
UserGifts: Remove duplicate DefaultUserOptions block
Change-Id: Ib0d536c1fed3b077b077eda681c648730b7f42c0
---
M UserGifts/extension.json
1 file changed, 0 insertions(+), 4 deletions(-)
Approvals:
jenkins-bot: Verified
Isarra: Looks good to me, approved
diff --git a/UserGifts/extension.json b/UserGifts/extension.json
index b5691f1..58b8cfe 100644
--- a/UserGifts/extension.json
+++ b/UserGifts/extension.json
@@ -76,10 +76,6 @@
"localBasePath": "",
"remoteExtPath": "SocialProfile/UserGifts"
},
- "DefaultUserOptions": {
- "echo-subscriptions-web-social-gift": true,
- "echo-subscriptions-email-social-gift": false
- },
"AvailableRights": [
"giftadmin"
],
--
To view, visit https://gerrit.wikimedia.org/r/396449
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib0d536c1fed3b077b077eda681c648730b7f42c0
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/SocialProfile
Gerrit-Branch: master
Gerrit-Owner: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Isarra <zhoris...@gmail.com>
Gerrit-Reviewer: Lewis Cawte <le...@lewiscawte.me>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
