FEATURE: Enable user tips by default (#21341)

This commit is contained in:
Bianca Nenciu
2023-05-08 19:33:08 +02:00
committed by GitHub
parent c45fff9405
commit 899eb96798
6 changed files with 44 additions and 2 deletions

View File

@@ -223,6 +223,34 @@
"leader"
]
},
"user_tips": {
"type": "object",
"additionalProperties": false,
"properties": {
"first_notification": {
"type": "integer"
},
"topic_timeline": {
"type": "integer"
},
"post_menu": {
"type": "integer"
},
"topic_notification_levels": {
"type": "integer"
},
"suggested_topics": {
"type": "integer"
}
},
"required": [
"first_notification",
"topic_timeline",
"post_menu",
"topic_notification_levels",
"suggested_topics"
]
},
"groups": {
"type": "array",
"items":