wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-24 00:13:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
4071 commits 147 branches 0 tags 125 MiB
Commit graph

3 commits

Author SHA1 Message Date
Umherirrender 2a932e598c Use expression builder instead of raw sql 
Change-Id: I0cb5fa07d63bc93089a4956097eee7a41dbc99e7
 2024-07-21 23:25:41 +02:00
Bartosz Dziewoński f4e419b019 FixTrailingWhitespaceIds: Don't crash on complex conflicts 
Also, move output and waiting to the outer loop.

Bug: T356196
Change-Id: Ibb88bfe3fb14e53eef4837ce9e681cebce399be1
 2024-06-24 19:33:02 +02:00
Ed Sanders 501046f38c Trim whitespace from truncated heading titles in IDs 
Bug: T356196
Change-Id: Iddcda0cee624fda7f78a05e0a3d70eaee2635da9
 2024-05-01 14:20:12 +01:00