wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-04 21:08:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../tests/cases/timestamp-format-switch
History
Ed Sanders 2fcc505d50 Parser: Store timestamp ranges 
Change-Id: Ifcbe22011f11f4374f38b7aa346da5a96cac968c
2023-03-28 23:51:17 +00:00
..
timestamp-format-switch-formatted-desktop.html Use setExtensionData() instead of marker comments where possible (3/3) 2023-03-21 00:13:01 +01:00
timestamp-format-switch-formatted-mobile.html Use setExtensionData() instead of marker comments where possible (3/3) 2023-03-21 00:13:01 +01:00
timestamp-format-switch.html Truncate timestamps in comment IDs / names 2022-06-24 00:49:58 +02:00
timestamp-format-switch.json Parser: Store timestamp ranges 2023-03-28 23:51:17 +00:00