wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-09-24 10:58:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../modules
History
Bartosz Dziewoński e8012b7094 Fix incorrectly detecting a section heading inside the table of contents 
Change-Id: I7209b523c3322b3b379e6aa82a4b2014cc39c404
2019-10-30 00:13:56 +01:00
..
lib Handle timestamps in daylight saving time 2019-10-22 16:33:21 +02:00
.eslintrc.json build: Update linters 2019-10-28 12:29:56 +00:00
dt.debug.js Re-add debug highlighter 2019-10-24 23:21:40 +02:00
dt.init.js Re-add debug highlighter 2019-10-24 23:21:40 +02:00
highlighter.css Re-add debug highlighter 2019-10-24 23:21:40 +02:00
highlighter.js Re-add debug highlighter 2019-10-24 23:21:40 +02:00
parser.js Fix incorrectly detecting a section heading inside the table of contents 2019-10-30 00:13:56 +01:00