mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-12-18 02:51:26 +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 |
||
---|---|---|
.. | ||
double-signature2-formattedreply.html | ||
double-signature2.html |