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
3777 commits 12 branches 4 tags 130 MiB
Commit graph

2 commits

Author SHA1 Message Date
Ed Sanders 2fcc505d50 Parser: Store timestamp ranges 
Change-Id: Ifcbe22011f11f4374f38b7aa346da5a96cac968c
 2023-03-28 23:51:17 +00:00
Bartosz Dziewoński 109a50cb34 Truncate timestamps in comment IDs / names 
For comments posted on or after 2022-07-12 (configurable), use a
shorter format, identical to the timestamps MediaWiki uses in URLs.

Changing the format for already existing comments would involve
difficult migrations, therefore we elect not to do it.

Bug: T304595
Change-Id: I387051a6a3a1d84cfae45c3e1516db870cc8b977
 2022-06-24 00:49:58 +02:00