wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-09-29 13:26:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
363 commits 138 branches 0 tags 114 MiB
Commit graph

3 commits

Author SHA1 Message Date
Bartosz Dziewoński 04365c0188 Merge RL modules which are only loaded by 'ext.discussionTools.init' 
Bug: T240474
Change-Id: I1b83aa18666be8f1ea6a3602b299f92574d42cb7
 2020-03-14 14:33:23 +01:00
Bartosz Dziewoński b4029c3c58 Fix signatureRanges overlapping for some comments 
If two signatures for a single comment were near each other,
we would sometimes treat them as one huge signature.

Change-Id: Ied4b3aa535a9ca6bebef8a004ae48b7d5a8f2f9b
 2020-03-09 13:28:22 +00:00
Bartosz Dziewoński 37c9f49cff Re-add debug highlighter 
We removed it in c40c112514 when we added
a more practical use for the parser, but I keep wishing I had it to
experiment with the parser code.

Now it's off by default and can be used by adding &dtdebug=1 to the URL.

Change-Id: I6a92bfe7f55af0949b391606b04c3cfa0f996f2a
 2019-10-24 23:21:40 +02:00