wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-11 16:16:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
2301 commits 12 branches 4 tags 131 MiB
Commit graph

4 commits

Author SHA1 Message Date
Ed Sanders 0ad9b4c6b2 Move placeholder heading level (99) to a constant 
Change the HeadingItem constructor to take a 'null' headingLevel
and store this internally with the constant. Change the JSON
serializer to convert this back to null.

Change-Id: I27508eed75d94b99c5189548919309f8da7deb75
 2022-06-14 22:51:49 +01:00
David Lynch 71049f4ce8 Add item name to the JSON output of HeadingItem 
The name is needed for the topic subscription API

Bug: T285971
Change-Id: Iedbebdfd65d03ab01b22b35781803655749aa269
 2022-03-25 11:45:50 +00:00
Bartosz Dziewoński e414d1acaf Improve handling for comments after fake headings using wikitext ; 
Bug: T265964
Change-Id: I77db68928c5426fd885a277eec52c6e164d559bb
 2022-02-11 23:35:32 +00:00
Bartosz Dziewoński 62766e846c Add test case for fake headings using wikitext ; 
Bug: T265964
Change-Id: I31db66dc011b3d13dd46426f15286c5b3b5c9254
 2022-02-12 00:35:02 +01:00