mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-12-11 08:08:37 +00:00
0ad9b4c6b2
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 |
||
---|---|---|
.. | ||
fake-headings-formattedreply.html | ||
fake-headings.html | ||
fake-headings.json |