mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-12-04 12:58:26 +00:00
14 lines
141 B
JSON
14 lines
141 B
JSON
|
[
|
||
|
{
|
||
|
"type": "mention-summary",
|
||
|
"title": {},
|
||
|
"extra": {
|
||
|
"revid": 0,
|
||
|
"mentioned-users": {
|
||
|
"1": 1
|
||
|
}
|
||
|
},
|
||
|
"agent": {}
|
||
|
}
|
||
|
]
|