mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-12-12 00:27:47 +00:00
48fdcf1056
The HeadingItem's name is now present in the DOM, so just traverse to it and use that instead. Change-Id: If28e1588742513d606e3d8fcfb259b85acc0a873 |
||
---|---|---|
.. | ||
for-parser-cache-formattedreply.html | ||
for-parser-cache.html |